Refinement of Mixed-Signal Systems: Between Heaven and Hell
Christoph Grimm, Rüdiger Schroll, Klaus Waldschmidt · Kluwer Academic Publishers eBooks · 2006
Very complex system are designed by stepwise refinement. This means that an abstract model is successively augmented with components and properties of an implementation. For signal processing, mixed-signal systems the refinement from block diagram level to analog or digital circuit requires a significant modeling effort: The means for description of abstract models (e.g. synchronous dataflow) and physical implementation (e.g. networks) are different and cannot be combined in a direct way. In this chapter, we introduce polymorphic signals which solve this problem, and give an overview of a framework for the refinement of Mixed-Signal Systems: HEAVEN/HELL.