Title :
Hierarchical mechanisms for high-level modeling and simulation of digital systems
Author :
Machado, Ricardo Jorge ; Fernandes, João Miguel ; Proenca, Alberto José
Author_Institution :
Dept. of Inf., Minho Univ., Braga, Portugal
Abstract :
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
Keywords :
Petri nets; circuit simulation; digital integrated circuits; digital systems; integrated circuit modelling; object-oriented methods; pipeline processing; control unit modelling; data path modelling; digital systems; hierarchical mechanisms; high-level modeling; high-level simulation; microprocessor; pipelined architecture unit; shobi-PN model; specification; Control system synthesis; Control systems; Design automation; Digital systems; Hardware; Informatics; Microprocessors; Object oriented modeling; Petri nets; Power system modeling;
Conference_Titel :
Electronics, Circuits and Systems, 1998 IEEE International Conference on
Conference_Location :
Lisboa
Print_ISBN :
0-7803-5008-1
DOI :
10.1109/ICECS.1998.813973
