Design Automation Conference (1988)
Anaheim, CA, USA
June 12, 1988 to June 15, 1988
Razouk , Dept. of Inf. & Comput. Sci., California Univ., Irvine, CA, USA
A collection of tools that support the construction and analysis of Petri-net models is described. These models are particularly well-suited to modeling hardware systems, such as pipelined processors. The focus is on a subset of the tools that comprise the P-NUT system. The features of the particular Petri-net model used which make the modeling of pipelining easy are highlighted. An example of a pipelined processor of moderate complexity is presented, and extensions needed to model even more complex systems are discussed. The types of analyses need to evaluate pipelined processors effectively are discussed.
simulation tool, Petri nets, modeling, pipelined processors, P-NUT system
Razouk, "The use of Petri nets for modeling pipelined processors," Design Automation Conference(DAC), Anaheim, CA, USA, 1988, pp. 548-553.