An automatic controller extractor for HDL descriptions at the RTL

Chien-Nan Liu, Jing Yang Jou*

*此作品的通信作者

研究成果: Article同行評審

12 引文 斯高帕斯(Scopus)

摘要

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.

原文English
頁(從 - 到)72-77
頁數6
期刊IEEE Design and Test of Computers
17
發行號3
DOIs
出版狀態Published - 1 7月 2000

指紋

深入研究「An automatic controller extractor for HDL descriptions at the RTL」主題。共同形成了獨特的指紋。

引用此