An application of the Petri net formal model, augmented by inserting the notion of time, to the analysis of the time behavior of digital circuits, is presented. The modeling, simulation, and performance evaluation are examined. The results show that the Petri net model is very useful in the logic simulation of VLSI circuits as it transforms time into space (memory) complexity. Examples illustrate the way in which Petri nets can be used for evaluating the maximum time performance of a digital network.
|Titolo:||Evaluation of the Behaviour of Digital Circuits by Timed Petri Nets|
|Data di pubblicazione:||1986|
|Nome del convegno:||IEEE International Symposium on Circuits and Systems, ISCAS 1986|
|Appare nelle tipologie:||4.1 Contributo in Atti di convegno|