Study on PN-Based Formal Modeling for ASIP Architecture
Zhi-Gang Wang · Journal of Chinese Computer Systems · 2006
According to the requirement of the software-hardware co-design of SOC,aimed at DSE of ASIP architecture,the paper excogitated a extended timed Petri Net model called PNP——Petri Net based Representation for Pipeline Processor. Taking complicated pipeline structure into account,the PNP model can describe the target architecture succinctly,directly and efficiently.In this paper,formal definition of PNP model is presented;and a pipelined architecture illustrating the feasibility of our approach on formal modeling is given.