Hierarchical mechanisms for high-level modeling and simulation of digital systems

The main purpose of this paper is to present a useful set of hierarchical mechanisms of specification to model and simulate digital systems. The shobi-PN model (Synchronous, Hierarchical, Object-Oriented and Interpreted Petri Net), was developed to support the use of hierarchy to model both the control unit and the data path of the systems. Modeling of a pipelined architecture unit of a microprocessor is considered as a case study to illustrate the capabilities of the hierarchical mechanisms proposed.

[1]  R.J. Machado,et al.  Specification of industrial digital controllers with object-oriented Petri nets , 1997, ISIE '97 Proceeding of the IEEE International Symposium on Industrial Electronics.

[2]  Alberto José Proença,et al.  VHDL generation from hierarchical Petri net specifications of parallel controllers , 1997 .

[3]  Rainer Fehling,et al.  A Concept of Hierarchical Petri Nets with Building Blocks , 1991, Applications and Theory of Petri Nets.

[4]  K. Bilinski,et al.  Petri-net-based algorithms for parallel-controller synthesis , 1994 .

[5]  Alberto José Proença,et al.  An object-oriented model for rapid prototyping of data path/control systems - a case study , 1998 .

[6]  Ricardo J. Machado,et al.  Genetic regulatory mechanisms by means of extended interactive Petri nets , 1997, 1997 IEEE International Conference on Systems, Man, and Cybernetics. Computational Cybernetics and Simulation.

[7]  Kurt Jensen,et al.  Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use. Vol. 2, Analysis Methods , 1992 .

[8]  Alberto José Proença,et al.  SOFHIA: a CAD environment to design digital control systems , 1997 .

[9]  Dieter Monjau,et al.  Object-oriented high-level modeling of system components for the generation of VHDL code , 1995, Proceedings of EURO-DAC. European Design Automation Conference.

[10]  William A. Wulf,et al.  Object-oriented techniques in hardware design , 1994, Computer.

[11]  Tadao Murata,et al.  Petri nets: Properties, analysis and applications , 1989, Proc. IEEE.

[12]  Sowmitri Swamy,et al.  OO-VHDL: Object-Oriented Extensions to VHDL , 1995, Computer.