For the most recent entries see the Petri Nets Newsletter.

Timing analysis for synthesis in microprocessor interface design.

Escalante, Marco A.; Dimopoulos, Nikitas J.

In: Proceedings of the Seventh International Symposium on High-Level Synthesis, pages 23-28. 1994.

Abstract: Design automation techniques are playing an important role in controlling the complexity of system design. Our work is inscribed in the design automation of microprocessor-based systems which necessitates the design of interfaces for system integration. During the interface synthesis it is required to validate the timing of a design yet to be implemented. In this paper we present a novel methodology to timing analysis that can determine tight bounds on interface path delays based on the given timing information. The timing analysis for synthesis problem, a transposition of the constraint satisfaction problem, is posed as an optimization problem using interval arithmetic techniques.

Do you need a refined search? Try our search engine which allows complex field-based queries.

Back to the Petri Nets Bibliography