期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
共找到1篇文章
< 1 >
每页显示 20 50 100
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
显示方式：
核电厂仪控系统中FPGA的形式验证方法及V&V技术 被引量：1
1
作者 朱夕辉 《工业控制计算机》 2017年第10期84-85,87,共3页
对比分析了形式验证与传统的仿真验证的特点,并讨论了FPGA的形式验证方法的重要性,介绍了形式验证的三种不同方法——定理证明、模型检验、等价性证明。以核电厂仪控系统中使用的FPGA芯片的一些功能作为被测对象,并且针对这些功能,选取M... 对比分析了形式验证与传统的仿真验证的特点,并讨论了FPGA的形式验证方法的重要性,介绍了形式验证的三种不同方法——定理证明、模型检验、等价性证明。以核电厂仪控系统中使用的FPGA芯片的一些功能作为被测对象,并且针对这些功能,选取Mentor Graphics公司开发的Questa Formal作为形式验证工具,采用基于System Verilog断言的模型检验方法对该芯片相关功能进行了功能验证和时序验证。为核电厂仪控系统中的其他的功能芯片的验证提供了一些参考。 展开更多
关键词 现场可编程门阵列 形式验证 V&V技术 System verilog断言
下载PDF
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
上一页 1 下一页 到第 页
使用帮助 返回顶部