摘要：形式验证入门之基本概念和流程 一、什么是形式验证？ VLSI设计的功能验证有两种方法，动态仿真验证和形式验证。形式验证采用数学方法来比较原设计和修改设计之间的逻辑功能的异同，而动态仿真验证是对两设计施加相同的激励后，观测电路对激励的反应异同。设计越大，为了达到100%的覆盖率，动态仿真验证所需要的矢 阅读全文