13th International Symposium on System Synthesis (ISSS'00)
A Transformational Approach to Constraint Relaxation of a Time-Driven Simulation Model
Madrid, Spain
September 20-September 22
ISBN: 0-7695-0765-4
Time-driven simulation models typically model timing in an idealized way that is over-constrained and cannot be directly implemented. In the paper we present a transformation to relax the constraints imposed by a time-driven simulation model, thus creating a larger design space. We transform the system into SPI, a common intermediate representation 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.
Citation:
Marek Jersak, Ying Cai, Dirk Ziegenbein, Rolf Ernst, "A Transformational Approach to Constraint Relaxation of a Time-Driven Simulation Model," isss, pp.137, 13th International Symposium on System Synthesis (ISSS'00), 2000