DocumentCode
2271226
Title
Transactors for parallel hardware and software co-design
Author
Asanovic, Krste
Author_Institution
Comput. Sci. Div., Univ. of California at Berkeley, Berkeley, CA
fYear
2007
fDate
7-9 Nov. 2007
Firstpage
140
Lastpage
142
Abstract
The use of higher-level design specifications is required for large scale embedded systems, yet these must admit efficient hardware and software implementations. The transactor model separates local computation from global communication, and avoids overspecifying the execution of computations within each unit. The use of guarded atomic commands provides a clean model for concurrent activities that share state within each unit, and supports computations on non-deterministic input streams.
Keywords
embedded systems; hardware-software codesign; logic design; parallel processing; concurrent activity; guarded atomic commands; higher-level design specifications; large scale embedded systems; parallel hardware and software co-design; transactor model; Circuit synthesis; Clocks; Computational modeling; Computer science; Design methodology; Embedded system; Hardware; Information processing; Network synthesis; Software design;
fLanguage
English
Publisher
ieee
Conference_Titel
High Level Design Validation and Test Workshop, 2007. HLVDT 2007. IEEE International
Conference_Location
Irvine, CA
ISSN
1552-6674
Print_ISBN
978-1-4244-1480-2
Type
conf
DOI
10.1109/HLDVT.2007.4392802
Filename
4392802
Link To Document