基本信息
作者：（美）內庫加 著出版社：清華大學出版社
出版時間：2009-11-1
開本：大16開
專用積體電路時程式驗證ISBN：9787302213420
定價：￥25.00
內容簡介
本書是近10年來惟一一本專門討論時序及時序驗證的專著，共分4章。本書全面討論了靜態時序驗證的各方面內容；全書不僅緊密結合電路圖和波形圖進行講解，還結合Synopsys公司的邏輯綜合和靜態時序分析工具講解如何通過命令加以實現；介紹過程中不僅從理論上闡述了延遲模型，而且注重實踐環節，引入了大量實際示例加以深入探討。這種寫作風格將促進讀者能夠更全面、細緻地理解所講內容，因此本書十分適合自學。目錄
ListofFiguresListofTables
Preface
Acknowledgments
1IntroductiontoTimingVerification
1.1Introduction
1.2OverviewofTimingVerification
1.2.1Intrinsicvs.extrinsicDelay
1.2.2PathDelay
1.3InterfaceTimingAnalysis
ElementsofTimingVerification
2.1Introduction
2.2ClockDefinitions
2.2.1GatedClocks
2.2.2ClockSkewsandMultipleClockGroups
2.2.3MultifrequencyClocks
2.2.4MultiphaseClocks
2.3MoreonSTA
……
TiminginASICA
4ProgrammableLogicBasedDesign
APrimeTime
BPearl
CTimingDesigner
DTransistor-LevelTimingVerification
References
Index
AbouttheAuthor
