reachable state

Verification of Analog and Mixed-Signal Circuits Using Timed Hybrid Petri Nets

Embedded systems are composed of a heterogeneous collection of digital, analog, and mixed-signal hardware components. This paper presents a method for the verification of systems composed of such a variety of components. This method utilizes a new …