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]

Possibly Related Publications

The following publications are possibly variants of this publication: