An automatic controller extractor for HDL descriptions at the RTL

Full metadata record

DC Field	Value	Language
dc.contributor.author	Liu, CNJ	en_US
dc.contributor.author	Jou, JY	en_US
dc.date.accessioned	2014-12-08T15:45:10Z	-
dc.date.available	2014-12-08T15:45:10Z	-
dc.date.issued	2000-07-01	en_US
dc.identifier.issn	0740-7475	en_US
dc.identifier.uri	http://hdl.handle.net/11536/30448	-
dc.description.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 writing style.	en_US
dc.language.iso	en_US	en_US
dc.title	An automatic controller extractor for HDL descriptions at the RTL	en_US
dc.type	Article	en_US
dc.identifier.journal	IEEE DESIGN & TEST OF COMPUTERS	en_US
dc.citation.volume	17	en_US
dc.citation.issue	3	en_US
dc.citation.spage	72	en_US
dc.citation.epage	77	en_US
dc.contributor.department	電子工程學系及電子研究所	zh_TW
dc.contributor.department	Department of Electronics Engineering and Institute of Electronics	en_US
dc.identifier.wosnumber	WOS:000088988700016	-
dc.citation.woscount	6	-
Appears in Collections:	Articles

Files in This Item:

If it is a zip file, please download the file and unzip it, then open index.html in a browser to view the full text content.