@article{6adc85da7b144eedb9702a69ca04e367,
title = "An automatic controller extractor for HDL descriptions at the RTL",
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.",
author = "Liu, {Chien Nan Jimmy} and Jou, {Jing Yang}",
note = "Funding Information: This work was supported in part by Novas Software Inc. and the R.O.C. National Science Council under grant NSC89-2215-E-009-009. We also thank the SI2 group in the Department of Electronics Engineering at the National Chiao Tung University for kindly providing their designs for our experiments.",
year = "2000",
month = jul,
language = "???core.languages.en_GB???",
volume = "17",
pages = "72--77",
journal = "IEEE Design and Test of Computers",
issn = "0740-7475",
number = "3",
}