article · 2002

A hybrid fault simulator for synchronous sequential circuits

Cited by 17Abstract and details only

Abstract

Fault simulation for synchronous sequential circuits is a very time-consuming task. The complexity of the task increases if there is no information available about the initial state of the circuit. 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 achieved 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 than previous algorithms using the three-valued logic.

Cite this paper

APA 7

Krieger, R., Becker, B., & Keim, M. (2002). A hybrid fault simulator for synchronous sequential circuits. https://doi.org/10.1109/test.1994.528006

MLA 9

Krieger, R., et al. “A hybrid fault simulator for synchronous sequential circuits.” 2002, pp. 614–23, https://doi.org/10.1109/test.1994.528006.

Chicago

Krieger, R., Bernd Becker, and Martin Keim. 2002. “A hybrid fault simulator for synchronous sequential circuits.” https://doi.org/10.1109/test.1994.528006.

Harvard

Krieger, R., Becker, B. and Keim, M. (2002) ‘A hybrid fault simulator for synchronous sequential circuits’. Available at: https://doi.org/10.1109/test.1994.528006.

BibTeX

@article{krieger2002hybrid,
  title = {{A hybrid fault simulator for synchronous sequential circuits}},
  author = {Krieger, R. and Becker, Bernd and Keim, Martin},
  pages = {614--623},
  year = {2002},
  doi = {10.1109/test.1994.528006}
}

Made from the index record. Check names, capitalisation and page numbers against the paper. Need another style? AI for Research has over 10,000.