Title :
Fault tolerant insertion and verification: a case study
Author :
Manzone, Alberto ; Costantini, Diego De
Author_Institution :
Sistemi Elettronici, Centro Ricerche FIAT, Torino, Italy
Abstract :
The particular circuit structures that allow the building of a Fault Tolerant (FT) circuit have been extensively studied in the past, but currently there is a lack of CAD support in the design and evaluation of FT circuits. The aim of the AMATISTA European project (IST project 11762) is to develop a set of tools devoted to the design of FT digital circuits. The toolset is composed of: an automatic insertion tool and a simulation tool to validate the FT design. This paper is a case study describing how this set of FTI (Fault Tolerant Insertion) and FTV (Fault Tolerant Verification) tools have been used to increase the reliability in a typical automotive application.
Keywords :
circuit CAD; circuit simulation; digital integrated circuits; fault tolerance; formal verification; integrated circuit design; integrated circuit reliability; AMATISTA European project; CAD support; IST project 11762; automatic insertion tool; automotive application; fault tolerant circuit design; fault tolerant digital circuits; fault tolerant insertion tool; fault tolerant verification tool; simulation tool; toolset; Automotive applications; Circuit faults; Computer aided software engineering; Costs; Design automation; Digital circuits; Fault tolerance; Fault tolerant systems; Single event upset; Vehicle safety;
Conference_Titel :
On-Line Testing Workshop, 2002. Proceedings of the Eighth IEEE International
Print_ISBN :
0-7695-1641-6
DOI :
10.1109/OLT.2002.1030225
