Login
|
New Account
ITA
ENG
An automatic controller extractor for HDL descriptions at the RTL
Authors
Liu, CNJ
Jou, JY
Citation
Cnj. Liu et Jy. Jou, An automatic controller extractor for HDL descriptions at the RTL, IEEE DES T, 17(3), 2000, pp. 72-77
Citations number
8
Categorie Soggetti
Computer Science & Engineering
Journal title
IEEE DESIGN & TEST OF COMPUTERS
ISSN journal
07407475 →
ACNP
Volume
17
Issue
3
Year of publication
2000
Pages
72 - 77
Database
ISI
SICI code
0740-7475(200007/09)17:3<72:AACEFH>2.0.ZU;2-1
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 wri ting style.