静态时序分析和形式验证：方法和流程

wkk666 · 发表于 2009-8-17 13:38:04

谢谢楼主分享
好书可以慢慢看

xiaomaco · 发表于 2009-8-17 19:55:52

下载先。

shiyunfeng · 发表于 2009-8-17 22:15:15

thanks
多谢了

原帖由 iskory 于 2008-12-5 22:56 发表

 登录/注册后可看大图

本文介绍了数字集成电路设计中静态时序分析（Static Timing Analysis）和
形式验证（Formal Verification）的一般方法和流程。这两项技术提高了时序分
析和验证的速度，在一定程度上缩短了数字电路设计的周期。本文 ...