Publication Details
Title: A Hybrid Fault Simulator for Synchronous Sequential Circuits
Author: R. Krieger, B. Becker, and M. Keim
Group: ICSI Technical Reports
Date: January 1994
PDF: ftp://ftp.icsi.berkeley.edu/pub/techreports/1994/tr-94-008.pdf
Overview:
Fault simulation for synchronous sequential circuits is a very time consuming task. The complexity of the task increases if there is no information about the initial state of the circuit available. In this case, an unknown initial state is assumed which is usually handled by introducing a three-valued logic. It is known, that fault simulation based upon this logic only determines a lower bound for the fault coverage achievable by a test sequence. Therefore, we developed a hybrid fault simulator H-FS combining the advantages of a fault simulator using the three-valued logic and of an exact symbolic fault simulator based upon binary decision diagrams. H-FS is able to handle even the largest benchmark circuits and thereby determines fault coverages much more accurately.
Bibliographic Information:
ICSI Technical Report TR-94-008
Bibliographic Reference:
R. Krieger, B. Becker, and M. Keim. A Hybrid Fault Simulator for Synchronous Sequential Circuits. ICSI Technical Report TR-94-008, January 1994
Author: R. Krieger, B. Becker, and M. Keim
Group: ICSI Technical Reports
Date: January 1994
PDF: ftp://ftp.icsi.berkeley.edu/pub/techreports/1994/tr-94-008.pdf
Overview:
Fault simulation for synchronous sequential circuits is a very time consuming task. The complexity of the task increases if there is no information about the initial state of the circuit available. In this case, an unknown initial state is assumed which is usually handled by introducing a three-valued logic. It is known, that fault simulation based upon this logic only determines a lower bound for the fault coverage achievable by a test sequence. Therefore, we developed a hybrid fault simulator H-FS combining the advantages of a fault simulator using the three-valued logic and of an exact symbolic fault simulator based upon binary decision diagrams. H-FS is able to handle even the largest benchmark circuits and thereby determines fault coverages much more accurately.
Bibliographic Information:
ICSI Technical Report TR-94-008
Bibliographic Reference:
R. Krieger, B. Becker, and M. Keim. A Hybrid Fault Simulator for Synchronous Sequential Circuits. ICSI Technical Report TR-94-008, January 1994