Title :
Modelling and simulation of a digital IC system using SimulPet: application to a speech coding communication IC
Author :
Fernandez-Ramos, R. ; Romero-Sanchez, J. ; Rios-Gomez, F. ; Matrin-Canales, J.
Author_Institution :
Dept. of Electron., Malaga Univ., Spain
Abstract :
We present a formal description and simulation of a high complexity digital IC system. This modelling technique, based on stochastic Petri Nets (PNs) with time, let us to model the IC with independence of technology, and with any degree of depth we need, achieving highly accurate and fast simulation results. Relevant properties of the PNs are used to achieve main topics in IC design: sleep-lock can be used to control dynamical power consumption. Tokens flow activation of systems gives robustness, making them independent of absolute time and thus independent of technology.
Keywords :
Petri nets; circuit simulation; digital integrated circuits; formal specification; power consumption; speech coding; CodeCrypt IC; IC scheduling; SimulPet; digital IC system; power consumption; process management; speech coding communication; stochastic Petri nets; Application specific integrated circuits; Circuit simulation; Digital integrated circuits; Digital systems; Integrated circuit modeling; Integrated circuit technology; Petri nets; Process design; Speech coding; Stochastic processes;
Conference_Titel :
Digital System Design, 2003. Proceedings. Euromicro Symposium on
Conference_Location :
Belek-Antalya, Turkey
Print_ISBN :
0-7695-2003-0
DOI :
10.1109/DSD.2003.1231967
