DocumentCode
2590478
Title
A design representation for hardware/software co-synthesis
Author
Stoy, Erik ; Peng, Zebo
Author_Institution
Dept. of Comput. & Inf. Sci., Linkoping Univ., Sweden
fYear
1994
fDate
5-8 Sep 1994
Firstpage
192
Lastpage
199
Abstract
This paper presents a design representation for digital designs consisting of both hardware and software components. The design representation is used to capture designs during the synthesis process from a high-level behavioural specification to its structural implementation. It is based on timed Petri nets which are used for representing the control flow. These are extended with a formal notation to capture data manipulation by both software and hardware. Based on the representation, a hardware/software co-design environment is being built, which includes procedures for design evaluation, hardware/software partitioning, and movement of functionality from hardware to software and vice versa
Keywords
Petri nets; circuit analysis computing; formal specification; high level synthesis; logic partitioning; data manipulation; design representation; formal notation; functionality; hardware/software co-synthesis; hardware/software partitioning; high-level behavioural specification; structural implementation; synthesis process; timed Petri nets; Computational modeling; Employment; Flow graphs; Hardware; Information science; Laboratories; Petri nets; Software prototyping; Timing; Virtual prototyping;
fLanguage
English
Publisher
ieee
Conference_Titel
EUROMICRO 94. System Architecture and Integration. Proceedings of the 20th EUROMICRO Conference.
Conference_Location
Liverpool
Print_ISBN
0-8186-6430-4
Type
conf
DOI
10.1109/EURMIC.1994.390391
Filename
390391
Link To Document