A hybrid fault simulator for synchronous sequential circuits

Krieger, Rolf; Becker, Bernd; Keim, Martin

doi:10.1109/test.1994.528006

Cited by 15 publications

(7 citation statements)

References 20 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…The exact fault coverage can be determined by using the OBDD-based symbolic fault simulation as presented in [8]. In many cases the application of the symbolic techniques leads to more accurate fault coverages than that obtained by using the three-valued logic.…”

Section: Denitionsmentioning

confidence: 99%

“…On the one hand this fact can be explained by the inaccuracy of the three-valued logic. In [8] a hybrid fault simulation is described which eliminates this inaccuracy. Nevertheless there are some circuits for which this fault simulator does not achieve a reasonable accuracy because the simulator is based on the SOT strategy.…”

Section: Multiple Observation Timementioning

confidence: 99%

“…Consequently, the computation of synchronizing sequences for the faulty circuits remains intractable using the three-valued logic. Therefore in [8] a hybrid fault simulator is proposed which improves the accuracy by performing a symbolic simulation based on Ordered Binary Decision Diagrams (OBDDs) [4]. In many cases this simulation strategy improves the accuracy considerably but until now it determines the fault coverage only with respect to the single observation time test strategy (SOT) which is inaccurate in itself.…”

Section: Introductionmentioning

confidence: 99%

“…In this paper we extend the hybrid fault simulation as proposed in [8] to also work for the MOT strategy and thereby avoid the explicit state enumeration. At rst, we describe a procedure that identies faults which cannot be detected by a conventional fault simulation based on the three-valued logic and the SOT strategy.…”

Section: Introductionmentioning

confidence: 99%

“…Thus, we succeed in computing the exact MOT fault coverage for many of the considered benchmark circuits. In case that the space requirements of the OBDD-based approach exceed a given limit which i s determined by the working environment the hybrid fault simulator changes to the SOT strategy based on the three-valued logic for some simulation steps as described in [8] and then again returns to the symbolic evaluation and the MOT strategy. This guarantees that the MOT strategy can be applied even to large circuits.…”

Section: Introductionmentioning

confidence: 99%

See 4 more Smart Citations

Symbolic fault simulation for sequential circuits and the multiple observation time test strategy

Krieger

Becker

Keim

1995

Proceedings of the 32nd ACM/IEEE Conference on Design Automation Conference - DAC '95

Self Cite

View full text Add to dashboard Cite

Abstract| F ault 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. In this case an unknown initial state is assumed which is usually handled by i n troducing a three-valued logic. As it is well-known fault simulation based on this logic only determines a lower bound of the fault coverage. Recently it has been shown that fault simulation based on the multiple observation time test strategy can improve the accuracy of the fault coverage. In this paper we describe how this strategy can be successfully implemented based on Ordered Binary Decision Diagrams. Our experiments demonstrate the eciency of the fault simulation procedure developed.

show abstract

Section: Denitionsmentioning

confidence: 99%

Section: Multiple Observation Timementioning

confidence: 99%