RobuCheck: A Robustness Checker for Digital Circuits

Abstract

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.

Bounded fault tolerance checking

“…The initial model has been extended by an approximation of reachable states [9], an analysis of multiple faults [10], and a measure to identify hot-spots in the design [11]. The diagnosis environment RobuCheck [12] integrates different engines to perform the analyses.…”