An Efficient Fault Simulation Technique for Transition Faults in Non-Scan Sequential Circuits

Alberto Bosio 1 Paolo Bernardi 2 Patrick Girard 1 Serge Pravossoudovitch 1 Matteo Sonza Reorda 2
1 SysMIC - Conception et Test de Systèmes MICroélectroniques
LIRMM - Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier
2 Polito - Politecnico di Torino [Torino]
Abstract : This paper proposes an efficient technique for transition delay fault coverage measurement in synchronous sequential circuits. The proposed strategy is based on a combination of multi-valued algebra simulation, critical path tracing and deductive fault simulation. The main advantages of the proposed approach are that it is highly computationally efficient with respect to state-of-the-art fault simulation techniques, and that it encompasses different delay sizes in one simulation pass without resorting to an improved transition fault model. Preliminary results on ITC'99 benchmarks show that the gain in terms of CPU time is up to one order of magnitude compared to previous existing techniques.
Document type :
Conference papers
Complete list of metadatas
https://hal-lirmm.ccsd.cnrs.fr/lirmm-00371197
Contributor : Alberto Bosio <>
Submitted on : Thursday, March 26, 2009 - 6:36:17 PM
Last modification on : Wednesday, August 28, 2019 - 3:46:02 PM

Identifiers

  • HAL Id : lirmm-00371197, version 1

Collections

CNRS | SYSMIC | LIRMM | LIRMM_MIC | MIC | MIPS | UNIV-MONTPELLIER

Citation

Alberto Bosio, Paolo Bernardi, Patrick Girard, Serge Pravossoudovitch, Matteo Sonza Reorda. An Efficient Fault Simulation Technique for Transition Faults in Non-Scan Sequential Circuits. DDECS'09: 12th IEEE Symposium on Design and Diagnostics of Electronic Systems, pp.50-55. ⟨lirmm-00371197⟩

Export

BibTeX TEI DC DCterms EndNote

Share

Metrics

Record views

123

Contact

Informations

CCSD