Take a look at the new version of this page: [ beta version ]. Tell us what you think.

ABSTRACT

This paper identifies a number of issues that we believe are important for hardware/software codesign. The issues are illustrated by a small comprehensible example: a priority queue. Based on simulations of a real application, we suggest a combined hardware/software realization of the priority queue.

REFERENCES

• 1: K. Mani Chandy, Parallel program design: a foundation, Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 1988
• 2: W. Ecker. Using VHDL for HW/SW co-specification. In Gerry Musgrave, editor, Proceedings of EURO-DAC'98, European Design Automation Conference, pages 500--505. IEEE Computer Society Press, September 1993.
• 3: Rajesh K. Gupta and Giovanni De Micheli. System level synthesis using re-programmable components. In The European Conference on Design Automation, pages 2--7. IEEE, March 1992.
• 4: John V. Guttag , James J. Horning, Larch: languages and tools for formal specification, Springer-Verlag New York, Inc., New York, NY, 1993
• 5: David Harel, Statecharts: A visual formalism for complex systems, Science of Computer Programming, v.8 n.3, p.231-274, June 1, 1987 [doi>10.1016/0167-6423(87)90035-9]
• 6: Charles Eric Leiserson, Area-Efficient VLSI Computation, MIT Press, Cambridge, MA, 1997
• 7: Jorgen Staunstrup, A Formal Approach to Hardware Design, Kluwer Academic Publishers, Norwell, MA, 1994
• 8: Jørgen Staunstrup. Towards a common model of software and hardware components. In Jerzy Rozenblit and Klaus Buchenrieder, editors, Codesign: Computer Aided Software/Hardware Engineering. IEEE Press, 1994.
• 9: J. W. J. Williams. Algorithm 232 (heapsort). Communications of the ACM, 7:347--348, 1964.
• 10: F. Paul Wyman, Improved event-scanning mechanisms for discrete event simulation, Communications of the ACM, v.18 n.6, p.350-353, June 1975 [doi>10.1145/360825.360873]