Main Menu/ Search/ Help
Publications of the Ptolemy Group

Design of Embedded Systems: Formal Models, Validation, and Synthesis

Seehyun Kim and Edward A. Lee

Proceedings of the 40th Midwest Symposium on Circuits and Systems, To Appear.

[Postscript] [PDF]


An abstract algorithm specification with idealized arithmetic must be made concrete with realistic arithmetic in the final phase of the ``algorithm-to-implementation'' design process in order to assess power consumption, hardware cost, and execution speed. In this paper, an infrastructure for refining an idealized model to get an architecture-dependent specification with finite precision is introduced. This infrastructure is built on top of the Ptolemy environment.
Send comments to Seehyun Kim at