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.