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.
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
Send comments to Seehyun Kim at email@example.com.