The Community for Technology Leaders
Green Image
ABSTRACT
<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>
INDEX TERMS
CITATION
Jing-Yang Jou, Chien-Nan Jimmy Liu, "An Automatic Controller Extractor for HDL Descriptions at the RTL", IEEE Design & Test of Computers, vol. 17, no. , pp. 72-77, July-September 2000, doi:10.1109/54.867897
101 ms
(Ver 3.3 (11022016))