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

提示:百度云已更名为百度网盘(百度盘),天翼云盘、微盘下载地址……暂未提供。