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

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

Release Time:2019-03-24  Hits:

Indexed by: Journal Article

Date of Publication: 2019-01-17

Journal: 实验技术与管理

Volume: 36

Issue: 1

Page Number: 153-155,161

ISSN: 1002-4956

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

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

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

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