In: Euromicro Symposium on Digital Systems Design (DSD'03), September 01 - 06, 2003, Belek-Antalya, Turkey, pages 356-361. IEEE Press, September 2003.
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.
Back to the Petri Nets Bibliography