A transformational approach to constraint relaxation of a time-driven simulation model
Marek Jersak, Ying Chun Cai, Dirk Ziegenbein, Rolf Ernst · 2000
Time-driven simulation models typically model timing in an idealized way that is over-constrained and cannot be di-rectly implemented. In this paper we present a transforma-tion to relax the constraints imposed by a time-driven simu-lation model, thus creating a larger design space. We trans-form the system into SPI, a common intermediate represen-tation for heterogeneously specified embedded systems. At the SPI level critical timing constraints are (re)introduced, resulting in a representation that is well suited for global system analysis, optimization and synthesis. 1.