The analysis of the behaviour of digital circuits, with special reference to signal propagation delays, is performed by means of the Petri Nets (PN) formal model. In particular, concurrent signal changes in the circuit which may give rise to possible functional errors such as races or hazards, are represented by this model. Moreover, the delays, assumed to be random variables with assigned probability distributions and Stochastic Petri Nets (SPN), which are an extension of classical PN's, are employed. By the resulting model, a great flexibility of representation is achieved, matching also the requisites of the particular technology employed. It is also possible to account for time varying inputs both in combinational and sequential circuits, reconvergent fanouts and conflicting events. The algorithm derived from this model allows to obtain a static logic verification of the circuit and exhibits shorter simulation times as compared to those of classical simulators.

Modelling digital circuits with delays by Stochastic Petri Nets

B. Castagnolo;F. Corsi
1983

Abstract

The analysis of the behaviour of digital circuits, with special reference to signal propagation delays, is performed by means of the Petri Nets (PN) formal model. In particular, concurrent signal changes in the circuit which may give rise to possible functional errors such as races or hazards, are represented by this model. Moreover, the delays, assumed to be random variables with assigned probability distributions and Stochastic Petri Nets (SPN), which are an extension of classical PN's, are employed. By the resulting model, a great flexibility of representation is achieved, matching also the requisites of the particular technology employed. It is also possible to account for time varying inputs both in combinational and sequential circuits, reconvergent fanouts and conflicting events. The algorithm derived from this model allows to obtain a static logic verification of the circuit and exhibits shorter simulation times as compared to those of classical simulators.
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: http://hdl.handle.net/11589/8576
 Attenzione

Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo

Citazioni
  • Scopus 1
  • ???jsp.display-item.citation.isi??? ND
social impact