标题：核电厂仪控系统中FPGA的形式验证方法及V＆V技术
作者：朱夕辉
作者单位：国核自仪系统工程有限公司，上海 200241
关键字：现场可编程门阵列，形式验证，V＆V技术，System Verilog断言
摘要：对比分析了形式验证与传统的仿真验证的特点，并讨论了FPGA的形式验证方法的重要性，介绍了形式验证的三种不同方法——定理证明、模型检验、等价性证明。以核电厂仪控系统中使用的FPGA芯片的一些功能作为被测对象，并且针对这些功能，选取Mentor Graphics公司开发的Questa Formal作为形式验证工具，采用基于System Verilog断言的模型检验方法对该芯片相关功能进行了功能验证和时序验证。为核电厂仪控系统中的其他的功能芯片的验证提供了一些参考。