DocumentCode
2758520
Title
RobuCheck: A Robustness Checker for Digital Circuits
Author
Frehse, Stefan ; Fey, Görschwin ; Suelflow, A. ; Drechsler, Rolf
Author_Institution
Inst. of Comput. Sci., Bremen, Germany
fYear
2010
fDate
1-3 Sept. 2010
Firstpage
226
Lastpage
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, ROBUCHECK 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.
Keywords
circuit reliability; digital circuits; fault tolerance; RobuCheck; automated support; circuit fault tolerance; digital circuits; fault protection; manufacturing failures; robustness checker; transient faults; Circuit faults; Engines; Fault tolerance; Fault tolerant systems; Integrated circuit modeling; Robustness; Transient analysis; boolean satisfiability; design tool; fault tolerance; transient faults; verification;
fLanguage
English
Publisher
ieee
Conference_Titel
Digital System Design: Architectures, Methods and Tools (DSD), 2010 13th Euromicro Conference on
Conference_Location
Lille
Print_ISBN
978-1-4244-7839-2
Type
conf
DOI
10.1109/DSD.2010.91
Filename
5615650
Link To Document