Design of safety-critical ASICs

This paper will describe the design and development of an ASIC for use in safety-critical applications. The functionality was confirmed by means of commercially available formal verification tools that were also used to verify the built-in self-test, and the impact of the self-test upon the basic functionality. Self-test was used to give 100% stuck-at fault coverage.