TSUNAMI: A Path Oriented Scheme for Algebraic Test Generation

@inproceedings{Stanion1991TSUNAMIAP,
  title={TSUNAMI: A Path Oriented Scheme for Algebraic Test Generation},
  author={Ted Stanion and Debashis Bhattacharya},
  booktitle={FTCS},
  year={1991}
}
Overview ATPG: EE community, methods operate on circuit netlist SAT: CS / AI community, methods operates on conjunctive normal form (CNF) ATPG: EE community, methods operate on circuit netlist SAT: CS / AI community, methods operates on conjunctive normal form (CNF) a b c d e g f h = 1? ϕ = h (a + d)(b + d)(¬a + ¬b + ¬d) (¬b + ¬e)(¬c + ¬e)(b + c + e) (¬d + ¬f)(d + f) (¬d + g)(¬e + g)(d + e + ¬g) (f + ¬h)(g + ¬h)(¬f + ¬g + h) 
Highly Cited
This paper has 19 citations. REVIEW CITATIONS

From This Paper

Topics from this paper.
11 Citations
16 References
Similar Papers

Citations

Publications citing this paper.

References

Publications referenced by this paper.

Similar Papers

Loading similar papers…