An Exact and Efficient Critical Path Tracing Algorithm

Alberto Bosio; Patrick Girard; Serge Pravossoudovitch; Paolo Bernardi; Matteo Sonza Reorda

doi:10.1109/DELTA.2010.35

Retour

Acte de colloque

An Exact and Efficient Critical Path Tracing Algorithm

Alberto Bosio, Patrick Girard, Serge Pravossoudovitch, Paolo Bernardi et Matteo Sonza Reorda

DELTA'10: Electronic Design, Test and Application, pp.164-169

DELTA'10: Electronic Design, Test and Application (Vietnam)

01/2010

DOI: https://doi.org/10.1109/DELTA.2010.35

Résumé

This paper presents an exact and efficient Critical Path Tracing algorithm targeting fault simulation of both Transition and Stuck-at faults. The complexity of the proposed algorithm is linear in the number of gates traced during the path tracing process. Experimental results show the efficiency of the proposed approach on a set of benchmark circuits.

Fichiers et liens (1)

url

Find in HALAfficher

Indicateurs

1 Consultations de la notice

Détails

Titre: An Exact and Efficient Critical Path Tracing Algorithm
Créateurs - sans rôle: Alberto Bosio - Université de Montpellier
Patrick Girard - Université de Montpellier
Serge Pravossoudovitch - Laboratoire d'Informatique, de Robotique et de Microélectronique de Montpellier
Paolo Bernardi - Polytechnic University of Turin
Matteo Sonza Reorda - Politecnico di Torino = Polytechnic of Turin
Détails de publication: DELTA'10: Electronic Design, Test and Application, pp.164-169
Colloque: DELTA'10: Electronic Design, Test and Application (Vietnam)
Identifiants: 99152220809311
Unité académique: Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier - LIRMM
Langue: English
Type de ressource: Conference proceeding
Champs locaux: lirmm-00539738