Title :
Panel: should the space of implementation possibilities be determined by the abilities of high-level synthesis and validation?
Author :
Gupta, Rajesh ; Shukla, Sandeep
Author_Institution :
University of California
Keywords :
Computational modeling; Computer science; Design engineering; Electronic design automation and methodology; Engines; Hardware; High level synthesis; Instruments; Microprocessors; Productivity;
Conference_Titel :
Formal Methods and Models for Co-Design, 2003. MEMOCODE '03. Proceedings. First ACM and IEEE International Conference on
Conference_Location :
Mont Saint Michel, France
Print_ISBN :
0-7695-1923-7
DOI :
10.1109/MEMCOD.2003.1210112
