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

fYear

2003

fDate

1-6 Sept. 2003

Firstpage

356

Lastpage

361

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;

fLanguage

English

Publisher

ieee

Conference_Titel

Digital System Design, 2003. Proceedings. Euromicro Symposium on

Conference_Location

Belek-Antalya, Turkey

Print_ISBN

0-7695-2003-0

Type

conf

DOI

10.1109/DSD.2003.1231967

Filename

1231967