Issue No. 03 - July-September (2000 vol. 17)
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/54.867897
<p>Extracting controlling finite-state machines can significantly reduce state space and thereby speed functional verification. The controller extraction algorithm uses an approach that frees it from restrictions on HDL code writing style.</p>
J. Jou and C. J. Liu, "An Automatic Controller Extractor for HDL Descriptions at the RTL," in IEEE Design & Test of Computers, vol. 17, no. , pp. 72-77, 2000.