Title :
Automatic generation of equivalent architecture model from functional specification
Author :
Abdi, Samar ; Gajski, Daniel
Author_Institution :
UC Irvine, CA
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;
Conference_Titel :
Design Automation Conference, 2004. Proceedings. 41st
Conference_Location :
San Diego, CA, USA
Print_ISBN :
1-51183-828-8