Verification of Analog/Mixed-Signal Circuits Using Labeled Hybrid Petri Nets.
Scott LittleDavid WalterChris J. MyersRobert A. ThackerSatish BatchuTomohiro YonedaPublished in: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. (2011)
Keyphrases
- mixed signal
- petri net
- petri net model
- low power
- multi channel
- vlsi circuits
- colored petri nets
- concurrent systems
- digital circuits
- cmos technology
- discrete event systems
- power consumption
- service composition
- high speed
- low cost
- fuzzy petri net
- low voltage
- stochastic petri net
- state machines
- model checking
- ims ld
- model based diagnosis
- image processing
- asynchronous circuits
- temporal logic
- real time