The Research And Implementation Of HDL-Based Fault InjectionTool

Over the past 20 years, along with the wider use of computer technology, most applications require the microprocessor more reliably and steadily. In this situation, it is widely carried out on the research of reliable microprocessor technology, which is including the use of special materials to improve the reliability of processors. But architecture designers hope to add the fault-tolerant technology to improve the reliability in the microprocessor architecture level. In the course of the study, researchers need to evaluate and analyze the effectiveness of fault-tolerant technology. So, the researchers commence to study the evaluation method of microprocessor reliability, including the measure-based method, analytical model method and fault injection method. Compared with the measure-based method and analytical model method, fault injection method which is a flexible, cheap and effective method has gained a more and more important position. In order to better carry out the study on the reliable microprocessor, a fault injection tool which is based on hardware description language is needed.Because of the above reasons, this paper study and analyze the fault-injection theory and the fault-injection tools. Based on the analysis, this paper design and implement a Verilog-Based fault injection tool named VBFIT, through which we make a fault injection experiment to the HR8051 prototype. And this paper test and analyze the reliability of HR8051 prototype.First, this paper study and analyze the fault injection theory. This paper define the concept of fault-injection and elaborate the fault injection theory through four steps, including the choice of fault model, the implementation of fault injection, the surveillance of system conduct and the analysis of experiment results.On the basis of the fault-injection theory's study, this paper classify the current main fault-injection tool into two types and respectively elaborate them, which is simulation-Based fault injection tool and physics-Based fault-injection tool. And this paper also analyze and compare two VHDL-Based fault-injection tools in detail, which is VFIT and VERIFY.Based on the analysis of fault injection tools, this paper design and implement a Verilog-Based fault injection tool and give the design goal of system and the overall structure design. This paper also in detail introduces the design of four main module which is syntactical and lexicographical analyzer, fault injection generator, result analyzer and graphic interface. In the design of syntactical and lexicographical analyzer, this paper study the lexical analysis theory and Verilog regular expression through which finite state machine is generated and ultimately the scanner is generated. In the design of fault injection generator, this paper analyzes the Modelsim command language interface. And this paper also elaborates the method how to implement fault injection through tool command language and the validity of this method is verified. In the design of result analyzer, this paper gives a set of the microprocessor reliability evaluation method and defines the analysis parameters of the reliability and introduces the Fault-tolerance mechanisms predicate graph to evaluate the microprocessor reliabilityFinally, this paper make an experiment of fault injection to the reliable microprocessor HR8051 prototype through the VBFIT. This paper analyzes the HR8051 architecture and the reliable technology which is used in the HR8051 prototype. It also analyzed the SDCC compiler which is designed for the HR8051 prototype. The workload and the course of testing in the experiment is introduced. At last, this paper give the experiment results, which demonstrate the VBFIT can effectively make a fault injection experiment to the microprocessor prototype which is designed through Verilog hardware description language.