数字设计核查是确保数字电路在制造前正确和可靠的一个关键过程,它涉及验证设计在不同条件下适当符合其规格和功能的各种方法和标准。

核查方法

常见的核查方法包括模拟,正式核查,以及仿真. 模拟涉及通过测试案例运行设计以观察行为. 正式核查使用数学技术来证明设计的性质. 模拟提供了硬件般的测试环境以更快的验证.

数字核查标准

标准确保核查过程的一致性和质量,显著的标准包括IEEE 1800(系统Verilog)和IEEEE 1801(UPF),这些标准界定了测试、电力管理和核查范围的方法,促进了项目之间的互操作性和最佳做法。

核查技术实例

实例包括直接测试(测试具体情景)和覆盖驱动的核查(旨在彻底测试所有可能的状况 ) 。 此外,基于断言的核查使用断言来检查模拟期间的设计违规情况。

  • 模拟
  • 正式核查
  • 模拟
  • 基于请求的核查