For the most recent entries see the Petri Nets Newsletter.

Timing Analysis for Synthesis of Hardware Interface Designs using Timing Signal Transition Graphs.

Escalante, Marco A.; Dimopoulos, Nikitas J.; Gurov, D.; Muller, H.

In: Proceedings of the Sixth International Workshop on Petri Nets and Performance Models, pages 232-240. 1995.

Abstract: This work addresses the design of hardware interface controllers for microprocessor-based systems. Interface design is required during the system integration phase to interconnect components which may use different interfacing protocols. In this paper it is shown that both the component interfacing protocols and the interface design can be described using an interpreted timed Petri net. Traditionally verification of the design is performed after the design has been synthesized. Such approach usually requires several iterations, if the implementation violates some of the design constraints. A symbolic timing analysis is proposed to alleviate this problem: tight bounds on the interface path delays are computed using the available information from the protocol specifications prior to interface implementation. This is possible because our model can describe both circuit delays and environmental timing constraints. An example involving bus arbitration in the vmebus is used to illustrate the analysis technique.

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

Back to the Petri Nets Bibliography