摘要：验证是确保设计和预定的设计期望一致的过程，设计期望通常是通过设计规范来定义的。对于芯片设计，在不同的阶段可以分为：寄存器传输级（RTL）的功能验证、门级的仿真验证、形式验证以及时序验证。我们通常所说的验证一般是指RTL验证。 验证工作根据设计规范进行，详细的设计规范是RTL编码的依据，也是验证工作的依据。当验证过程发现被测设计（DUT）的响应与验证平台（Testb... 阅读全文

摘要：标准延迟格式（英语：Standard Delay Format, SDF）是电气电子工程师学会关于集成电路设计中时序描述的标准表达格式。在整个设计流程中，标准延迟格式有着重要的应用，例如静态时序分析和后仿真。SDF在设计中的作用： SDF in the design process Back-Annotation of Timing Data for Design Analysis(STA too... 阅读全文