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 :
بازگشت