The Community for Technology Leaders
2010 13th Euromicro Conference on Digital System Design: Architectures, Methods and Tools (2010)
Lille, France
Sept. 1, 2010 to Sept. 3, 2010
ISBN: 978-0-7695-4171-6
pp: 226-231
ABSTRACT
Continuously shrinking feature sizes cause an increasing vulnerability of digital circuits. Manufacturing failures and transient faults may tamper the functionality. Automated support is required to analyze the fault tolerance of circuits. In this paper, Robu Check is presented - a design tool to analyze the fault tolerance of digital circuits. Engines based on simulation and formal methods are integrated to identify components that require additional fault protection. Consequently, an overall estimation of fault tolerance of the circuit is determined.
INDEX TERMS
fault tolerance, verification, boolean satisfiability, transient faults, design tool
CITATION

R. Drechsler, S. Frehse, A. Süelflow and G. Fey, "RobuCheck: A Robustness Checker for Digital Circuits," 2010 13th Euromicro Conference on Digital System Design: Architectures, Methods and Tools(DSD), Lille, France, 2010, pp. 226-231.
doi:10.1109/DSD.2010.91
87 ms
(Ver 3.3 (11022016))