location: Current position: Home >> Scientific Research >> Paper Publications

基于Qt的Verilog故障注入工具设计与实现

Hits:

Indexed by:期刊论文

Date of Publication:2019-01-17

Journal:实验技术与管理

Volume:36

Issue:1

Page Number:153-155,161

ISSN No.:1002-4956

Key Words:电路可靠性;容错评价;VerilogHDL

Abstract:为方便设计人员验证电子电路的可靠性,设计了基于Qt的Verilog故障注入工具.该工具通过语法语义分析器解析Verilog源文件,获得代码中全部故障注入点;采用故障注入管理器获取用户故障注入参数并传递给底层函数,实现对Verilog工程的故障注入.实验结果表明,该故障注入工具能够根据用户指令对Verilog工程进行故障注入,对电路的容错机制进行可靠分析和评价,对电子电路的容错方案设计有很大帮助.

Pre One:Analysis of Interrupt Behavior Based on Probabilistic Model Checking

Next One:基于FPGA的故障修复演化技术研究