Application Of Information Flow Analysis In IC Design

Now with the development of computer technology, electronic technology and micron technology, modern technology, the development of circuits are becoming increasingly complex, integrated gradually increased, the resulting complexity of integrated circuits also significantly increased. Therefore, how to ensure the accuracy and reliability of the integrated circuit capable of working, but also has lower test costs and higher security, which involves not only the circuit design problems, but also to other circuits testing, validation and testing. From the theory of knowledge and information flow control to start, define and prove several related nature of the information flow analysis, describes the information flow analysis logic generation method focuses on the application of a gate-level information flow analysis in the design of integrated circuits. The main work in the following three aspects:(1) raised the basic concepts of information flow analysis, the definition of information flow analysis of logic functions IFA (Information Flow Analysis) logic function, discuss the basic nature of the IFA logic, and to be proved. Completed basic gate (AND gate, an OR gate, XOR gate) information flow analysis logic formal description. Logical analysis of the information flow analysis of potential uncertainty and two input multiplexer selector (MUX-2) as an example for analysis. Complete analysis of the logical flow of information imprecision root cause analysis and proof, and ISC AS and IWLS benchmark to show the different methods generated IFA logical difference in accuracy.(2) study of information flow analysis logic generation method proposed effective IFA logic generation algorithm, and the algorithm complexity and accuracy are analyzed and presented proof.(3) Discuss gate-level information flow analysis of the basic principles and application of static and dynamic information flow security verification information flow analysis of two application modes, with specific examples of design methods and processes described IFA different application modes, and from the static logic risk analysis, error propagation effects analysis to automatically generate test vectors as well as several aspects of controllability and observability analysis to discuss the information flow analysis method in the switching circuit design...