A design representation for hardware/software co-synthesis

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.<<ETX>>

[1]  Nikil D. Dutt,et al.  An intermediate representation for behavioral synthesis , 1991, DAC '90.

[2]  Giovanni De Micheli,et al.  Hardware-software cosynthesis for digital systems , 1993, IEEE Design & Test of Computers.

[3]  Herman Schmit,et al.  A Model and Methodology for Hardware-Software Codesign , 1993, IEEE Des. Test Comput..

[4]  Marianne Winslett,et al.  A prescriptive formal model for data-path hardware , 1992, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..

[5]  Krzysztof Kuchcinski,et al.  Automated transformation of algorithms into register-transfer level implementations , 1994, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..

[6]  Mani Srivastava,et al.  Rapid-prototyping of hardware and software in a unified framework , 1991, 1991 IEEE International Conference on Computer-Aided Design Digest of Technical Papers.

[7]  Erik Stoy,et al.  An integrated modelling technique for hardware/software systems , 1994, Proceedings of IEEE International Symposium on Circuits and Systems - ISCAS '94.

[8]  Wayne H. Wolf,et al.  Codesign from cospecification , 1994, Computer.

[9]  Alice C. Parker,et al.  A Formal Method for the Specification, Analysis, and Design of Register-Transfer Level Digital Logic , 1983, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..