内容简介

目录

图书信息专用集成电路程序验证

作　者： （美）内库加　著

出 版 社：清华大学出版社

出版时间： 2009-11-1

开　本： 大16开

ISBN ： 9787302213420

定价：￥25.00

内容简介

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

目录

List of Figures

List of Tables

Preface

Acknowledgments

1 Introduction to Timing Verification

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 Definitions

2.2.1 Gated Clocks

2.2.2 Clock 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 Design

A PrimeTime

B Pearl

C TimingDesigner

D Transistor-Level Timing Verification

References

Index

About the Author