An Automatic Controller Extractor for HDL Descriptions at the RTL
July-September 2000 (vol. 17 no. 3)
pp. 72-77
ASCII Text
x
Chien-Nan Jimmy Liu, Jing-Yang Jou,
"An Automatic Controller Extractor for HDL Descriptions at the RTL,"
IEEE Design and Test of Computers, vol. 17, no. 3, pp. 72-77, July-September, 2000.
BibTex
x
@article{
10.1109/54.867897, author = {Chien-Nan Jimmy Liu and Jing-Yang Jou}, title = {An Automatic Controller Extractor for HDL Descriptions at the RTL}, journal ={IEEE Design and Test of Computers}, volume = {17}, number = {3}, issn = {0740-7475}, year = {2000}, pages = {72-77}, doi = {http://doi.ieeecomputersociety.org/10.1109/54.867897}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, }
RefWorks Procite/RefMan/Endnote
x
TY - MGZN JO - IEEE Design and Test of Computers TI - An Automatic Controller Extractor for HDL Descriptions at the RTL IS - 3 SN - 0740-7475 SP72 EP77 EPD - 72-77 A1 - Chien-Nan Jimmy Liu, A1 - Jing-Yang Jou, PY - 2000 VL - 17 JA - IEEE Design and Test of Computers ER -
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.
Citation:
Chien-Nan Jimmy Liu, Jing-Yang Jou, "An Automatic Controller Extractor for HDL Descriptions at the RTL," IEEE Design and Test of Computers, vol. 17, no. 3, pp. 72-77, July-Sept. 2000, doi:10.1109/54.867897
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb