Verification of Analog and Mixed-Signal Circuits Using Timed Hybrid Petri Nets.
Scott LittleDavid WalterNicholas SeegmillerChris J. MyersTomohiro YonedaPublished in: ATVA (2004)
Keyphrases
- mixed signal
- petri net
- petri net model
- low power
- vlsi circuits
- multi channel
- colored petri nets
- concurrent systems
- digital circuits
- cmos technology
- low cost
- high speed
- discrete event systems
- service composition
- power consumption
- stochastic petri net
- state machines
- low voltage
- programmable logic controller
- analog circuits
- ims ld
- fuzzy petri net
- circuit design
- model checking