標題: An automatic controller extractor for HDL descriptions at the RTL
作者: Liu, CNJ
Jou, JY
電子工程學系及電子研究所
Department of Electronics Engineering and Institute of Electronics
公開日期: 1-七月-2000
摘要: 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.
URI: http://hdl.handle.net/11536/30448
ISSN: 0740-7475
期刊: IEEE DESIGN & TEST OF COMPUTERS
Volume: 17
Issue: 3
起始頁: 72
結束頁: 77
顯示於類別:期刊論文


文件中的檔案:

  1. 000088988700016.pdf