DocumentCode
416313
Title
Automatic generation of equivalent architecture model from functional specification
Author
Abdi, Samar ; Gajski, Daniel
Author_Institution
UC Irvine, CA
fYear
2004
fDate
7-11 July 2004
Firstpage
608
Lastpage
613
Keywords
Algebra; Algorithm design and analysis; Assembly; Carbon capture and storage; Computer architecture; Embedded computing; Formal verification; Permission; System-level design; Very large scale integration;
fLanguage
English
Publisher
ieee
Conference_Titel
Design Automation Conference, 2004. Proceedings. 41st
Conference_Location
San Diego, CA, USA
ISSN
0738-100X
Print_ISBN
1-51183-828-8
Type
conf
Filename
1322554
Link To Document