Dynamic state traversal for sequential circuit test generation

Michael S. Hsiao, Elizabeth M. Rudnick, Janak H. Patel. Dynamic state traversal for sequential circuit test generation. ACM Trans. Design Autom. Electr. Syst., 5(3):548-565, 2000. [doi]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.