专用集成电路时程序验证

《专用集较占一十成电路时程序验证》是用国占督2009年清华大学出版社出版的图书，作者是内库加。

• 书名 专用集成电路时程序验证
• 作者 (美)内库加
• ISBN  9787302213420
• 定价 25.00
• 出版社 清华大学出版社

内容简介

　　本书是近10年来惟一一本专门讨论时序及时序验证的专著，共分4章。本书全画为素相劳周家转历了面讨论了静态时序验证的各方面内容;全书不仅紧密结合电路图和波形图进来自行讲解，还结合Syn社争掌候钢造评opsys公司的逻辑综合和静态时序分析工具讲解如何通过命令加以实现;介绍过程中不仅家脸从理论上阐述了延迟模型，而且注重实践环节，引入了大量实际示例加以深入探讨。这种写作风格将促进读者能够更全面、细致地理解所讲内容，因此本书十分适合自学。

目录

　　List of Figures

　　List of Tables

　　Preface

　　Ack宽州除素班nowledgm娘帝出语革坚神写ents

　　1 In360百科troduction to Timing Ve叫思开又刻简令古rification

　　1.1 Introduction

　　1.2 Overview of Timing Verification

　　1.三传草话争促士酸2.1 Intrinsic 丰十说烈号比读vs. Extrinsic Delay

　　1.2.2 Path Delay

　　1.3 Interface Timing Analysis

　　Elements of Timing Verification

　　2.1 Introduction

　　2.2 Clock D带统磁三愿深efinitions

　　2.2.1 Gated Clocks

　　2.2.2 Cloc压新证明出沉兵端最减概k Skews and Multiple Clock Groups

　　谁希调掌2.2.3 Multifrequency Clocks

　　2.2.4 Multiphase Clocks

　　2.3 More on STA

　　……

　　Timing in ASICA

　　4 依席Programmable Logic Based Desi孩gn

　　A PrimeTime

　　B Pe目面论委迫arl

　　C TimingDesigner

　　D Transistor-L应轻度evel Timing Verification

　　References

　　Index

　　About the Author