The Community for Technology Leaders
RSS Icon
Issue No.03 - July-September (2000 vol.17)
pp: 72-77
<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>
Chien-Nan Jimmy Liu, Jing-Yang Jou, "An Automatic Controller Extractor for HDL Descriptions at the RTL", IEEE Design & Test of Computers, vol.17, no. 3, pp. 72-77, July-September 2000, doi:10.1109/54.867897
30 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool