微电子技术是信息科学技术的核心技术之一，微电子产业是当代高新技术产业群的核心和维护国家主权、保障国家安全的战略性产业。我国在《信息产业“十五”计划纲要》中明确提出：坚持自主发展，增强创新能力和核心竞争力，掌握以集成电路和软件技术为重点的信息产业的核心技术，提高具有自主知识产权产品的比重。发展集成电路技术的关键之一是培养具有国际竞争力的专业人才。 微电子技术发展迅速，内容更新快，而我国微电子专业图书数量少，且内容和体系不能反映科技发展的水平，不能满足培养人才的需求，为此，我们系统挑选了一批国外经典教材和前沿著作，组织分批出版。图书选择的几个基本原则是：在本领域内广泛采用，有很大影响力；内容反映科技的最新发展，所述内容是本领域的研究热点；编写和体系与国内现有图书差别较大，能对我国微电子教育改革有所启示。本套丛书还侧重于微电子技术的实用性，选取了一批集成电路设计方面的工程技术用书，使读者能方便地应用于实践。 我们真诚地希望，这套丛书能对国内高校师生、工程技术人员以及科研人员的学习和工作有所帮助，对推动我国集成电路的发展有所促进。也衷心期望着广大读者对我们一如既往的关怀和支持，鼓励我们出版更多、更好的图书。

... xviff Preface ac k~. 1':- *L. L 1. 1 1 1 1'he material covered in this book reouires some understandings acres some understanding of the Electronic Design Automation (EDA) tools and an initial . 1.,. course m logic design. ~ L 1-'. 1: I l' The book is orgedzed into two parts: P8rt I (chapters 1 and 2) introduces the fundamental conceits pts .,,. involved in tiding verification. Including clock definitions, multicycle paths, false paths, and phase-locked loops. Pat 11 (chapters 3 and 4) covers specific timing issues related to ASICs and FPGAs, respectively. Chapter 1 gives an ovetwew of timing verification and static tiding analysis. It contrasts tiding verification w...