Model checking algorithms for analog verification
Proceedings of the 39th annual Design Automation Conference
On Discrete Modeling and Model Checking for Nonlinear Analog Systems
CAV '02 Proceedings of the 14th International Conference on Computer Aided Verification
Towards formal verification of analog designs
Proceedings of the 2004 IEEE/ACM International conference on Computer-aided design
Verification of analog/mixed-signal circuits using labeled hybrid petri nets
Proceedings of the 2006 IEEE/ACM international conference on Computer-aided design
Approximate reachability computation for polynomial systems
HSCC'06 Proceedings of the 9th international conference on Hybrid Systems: computation and control
| Hi-index | 0.00 |
Since the ability to describe dynamic in high level, Petri Nets has already been used extensively in logic circuits and systems community for state analysis. As others formal methods, extending Petri Nets to analog circuits analysis requires continuous feature enhanced. In this paper, the object of study is dynamic of circuits with random nonlinear feature (such as random noise and random interface) by using a Hybrid Statistical Petri Net (HSPN). A formal definition of hybrid Petri Net is derived from hybrid automata to model the dynamic of nonlinear analog circuits. Furthermore, we improve the hybrid Petri Net to abstract the statistical feature by enhancing the ability of describe random continuous transition. And a formal definition of the novel Hybrid Statistical Petri Net is presented. Within this HSPN, the fundamental method of analyzing the dynamic of random analog circuits is studied. A sample circuit with random noise illustrates this technique.