Verifying dynamics of mixed-signal circuits with random noise using statistical Petri Net

As an alternative method, Petri Nets has already been used extensively in logic circuits and systems community for state analysis. This paper targets the analysis method for dynamics of mixed-signal circuits with random noise. Expanding Petri Nets to analysis for statistical dynamics requires statistical feature enhanced. As a formal method which is based on hybrid automata, the state space attached with timed information is projected from traditional solution space of circuits differential equations. The hybrid Petri net is improved to abstract the statistical feature by enhancing the ability of describing random continuous transition. Furthermore we present a novel hybrid statistical Petri net (HSPN). The HSPN verifies the dynamics of mixed-signal circuits by simulating the continuous transition of continuous states which interfaced by random noise. Comparing with SPICE results, we illustrate the feasibility of this method.