Practicality of state-machine verification of speed-independent circuits.

Steven M. Nowick, David L. Dill

Browse the full ICCAD paper archive.