In: IEEE Computer Soc. Press, Proc. of 6th International Workshop on Petri Nets and Performance Models - PNPM'95, Durham, N. Carolina, USA, 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 vialates 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 form 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.