Design Verification and Functional Testing of FiniteState Machines.

Mark W. Weiss, Sharad C. Seth, Shashank K. Mehta, Kent L. Einspahr

Browse the full VLSID paper archive.