An automatic controller extractor for HDL descriptions at the RTL

Chien-Nan Liu, Jing Yang Jou*

*Corresponding author for this work

Research output: Contribution to journalArticlepeer-review

12 Scopus citations

Abstract

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.

Original languageEnglish
Pages (from-to)72-77
Number of pages6
JournalIEEE Design and Test of Computers
Volume17
Issue number3
DOIs
StatePublished - 1 Jul 2000

Fingerprint

Dive into the research topics of 'An automatic controller extractor for HDL descriptions at the RTL'. Together they form a unique fingerprint.

Cite this