|
| This Article | ||
| ||
| Share | ||
| Bibliographic References | ||
| Add to: | ||
 Digg  Furl  Spurl  Blink  Simpy  Google  Del.icio.us  Y!MyWeb | ||
| Search | ||
| ||
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 & 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 & 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 & 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 & Test of Computers ER - | |||
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/54.867897
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 & Test of Computers, vol. 17, no. 3, pp. 72-77, July-Sept. 2000, doi:10.1109/54.867897
Usage of this product signifies your acceptance of the Terms of Use.