Efficient multi-level fault simulation of HW/SW systems for structural faults

In recent technology nodes, reliability is increasingly considered a part of the standard design flow to be taken into account at all levels of embedded systems design. While traditional fault simulation techniques based on low-level models at gate- and register transfer-level offer high accuracy, they are too inefficient to properly cope with the complexity of modern embedded systems. Moreover, they do not allow for early exploration of design alternatives when a detailed model of the whole system is not yet available, which is highly required to increase the efficiency and quality of the design flow. Multi-level models that combine the simulation efficiency of high abstraction models with the accuracy of low-level models are therefore essential to efficiently evaluate the impact of physical defects on the system. This paper proposes a methodology to efficiently implement concurrent multi-level fault simulation across gate- and transaction-level models in an integrated simulation environment. It leverages state-of-the-art techniques for efficient fault simulation of structural faults together with transaction-level modeling. This combination of different models allows to accurately evaluate the impact of faults on the entire hardware/software system while keeping the computational effort low. Moreover, since only selected portions of the system require low-level models, early exploration of different design alternatives is efficiently supported. Experimental results obtained from three case studies are presented to demonstrate the high accuracy of the proposed method when compared with a standard gate/RT mixed-level approach and the strong improvement of simulation time which is reduced by four orders of magnitude in average.

[1]  Michael S. Hsiao,et al.  A new architectural-level fault simulation using propagation prediction of grouped fault-effects , 1995, Proceedings of ICCD '95 International Conference on Computer Design. VLSI in Computers and Processors.

[2]  J. Cano,et al.  Reliability forecasting in complex hardware/software systems , 2006, First International Conference on Availability, Reliability and Security (ARES'06).

[3]  Martin Radetzki Object-Oriented Transaction-Level Modelling , 2007 .

[4]  Hans-Joachim Wunderlich Models in Hardware Testing , 2010 .

[5]  Régis Leveugle,et al.  System-level dependability analysis with RT-level fault injection accuracy , 2004, 19th IEEE International Symposium on Defect and Fault Tolerance in VLSI Systems, 2004. DFT 2004. Proceedings..

[6]  Di NataleGiorgio,et al.  Self-test techniques for crypto-devices , 2010 .

[7]  Joel S. Emer,et al.  The soft error problem: an architectural perspective , 2005, 11th International Symposium on High-Performance Computer Architecture.

[8]  P. K. Lala Self-Checking and Fault-Tolerant Digital Design , 1995 .

[9]  Régis Leveugle,et al.  Multi-Level Fault Injections in VHDL Descriptions: Alternative Approaches and Experiments , 2003, J. Electron. Test..

[10]  Cristiana Bolchini,et al.  Multi-level fault modeling for transaction-level specifications , 2009, GLSVLSI '09.

[11]  S. P. Levitan,et al.  Reliability optimization models for embedded systems with multiple applications , 2004, IEEE Transactions on Reliability.

[12]  Dongwoo Lee,et al.  A Novel Simulation Fault Injection Method for Dependability Analysis , 2009, IEEE Design & Test of Computers.

[13]  O. Hammami,et al.  Introducing Energy and Area Estimation in HW/SW Design Flow Based on Transaction Level Modeling , 2006, 2006 International Conference on Microelectronics.

[14]  Heinrich Theodor Vierhaus,et al.  Simulated fault injections and their acceleration in SystemC , 2008, Microprocess. Microsystems.

[15]  Martin Radetzki,et al.  Accuracy-Adaptive Simulation of Transaction Level Models , 2008, 2008 Design, Automation and Test in Europe.

[16]  M.B. Santos,et al.  Defect-oriented mixed-level fault simulation of digital systems-on-a-chip using HDL , 1999, Design, Automation and Test in Europe Conference and Exhibition, 1999. Proceedings (Cat. No. PR00078).

[17]  N Wehn,et al.  A dependability-driven system-level design approach for embedded systems , 2005 .

[18]  Ernst G. Ulrich,et al.  Concurrent simulation of nearly identical digital networks , 1974, Computer.

[19]  Kaushik Roy,et al.  Test consideration for nanometer-scale CMOS circuits , 2006, IEEE Design & Test of Computers.

[20]  Hans-Joachim Wunderlich,et al.  Generalized Fault Modeling for Logic Diagnosis , 2010 .

[21]  Daniel Gajski,et al.  Cycle-approximate Retargetable Performance Estimation at the Transaction Level , 2008, 2008 Design, Automation and Test in Europe.

[22]  Christian Steger,et al.  High level fault injection for attack simulation in smart cards , 2004, 13th Asian Test Symposium.

[23]  Ernst G. Ulrich,et al.  Concurrent simulation of nearly identical digital networks , 1973, Computer.

[24]  F. Somenzi,et al.  MOZART: a concurrent multilevel simulator , 1988, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..

[25]  Dong Sam Ha,et al.  HOPE: an efficient parallel fault simulator for synchronous sequential circuits , 1992, DAC '92.

[26]  Regis Leveugle,et al.  System-level dependability analysis with RT-level fault injection accuracy , 2004 .

[27]  Fabrizio Lombardi,et al.  Using RT Level Component Descriptions for Single Stuck-at Hierarchical Fault Simulation , 2004, J. Electron. Test..

[28]  Karen Panetta,et al.  Handling behavioral components in multi-level concurrent fault simulation , 2000, Proceedings 33rd Annual Simulation Symposium (SS 2000).

[29]  Sorin Alexander Huss,et al.  Advances in Design and Specification Languages for Embedded Systems , 2007 .

[30]  Giorgio Di Natale,et al.  Self-Test Techniques for Crypto-Devices , 2010, IEEE Transactions on Very Large Scale Integration (VLSI) Systems.

[31]  Jongwhoa Na A Novel Simulation Fault Injection using Electronic Systems Level Simulation Models , 2013 .

[32]  Frank Ghenassia Transaction-Level Modeling with SystemC: TLM Concepts and Applications for Embedded Systems , 2010 .

[33]  Antonio da Silva Farina,et al.  On the Use of Dynamic Binary Instrumentation to Perform Faults Injection in Transaction Level Models , 2009 .

[34]  Ozgur Sinanoglu,et al.  RT-level fault simulation based on symbolic propagation , 2001, Proceedings 19th IEEE VLSI Test Symposium. VTS 2001.

[35]  Raul Camposano,et al.  Active timing multilevel fault-simulation with switch-level accuracy , 1995, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..

[36]  Shekhar Y. Borkar,et al.  Designing reliable systems from unreliable components: the challenges of transistor variability and degradation , 2005, IEEE Micro.

[37]  Christian Haubelt,et al.  Electronic System-Level Synthesis Methodologies , 2009, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.

[38]  Hans-Joachim Wunderlich,et al.  Efficient fault simulation on many-core processors , 2010, Design Automation Conference.

[39]  Daniel Gajski,et al.  Transaction level modeling: an overview , 2003, First IEEE/ACM/IFIP International Conference on Hardware/ Software Codesign and Systems Synthesis (IEEE Cat. No.03TH8721).

[40]  Neeraj Suri,et al.  EPIC: profiling the propagation and effect of data errors in software , 2004, IEEE Transactions on Computers.