论文部分内容阅读
对比分析了形式验证与传统的仿真验证的特点,并讨论了FPGA的形式验证方法的重要性,介绍了形式验证的三种不同方法——定理证明、模型检验、等价性证明。以核电厂仪控系统中使用的FPGA芯片的一些功能作为被测对象,并且针对这些功能,选取Mentor Graphics公司开发的Questa Formal作为形式验证工具,采用基于System Verilog断言的模型检验方法对该芯片相关功能进行了功能验证和时序验证。为核电厂仪控系统中的其他的功能芯片的验证提供了一些参考。