Verification of analog/mixed-signal circuits using labeled hybrid petri nets.
Scott LittleNicholas SeegmillerDavid WalterChris J. MyersTomohiro YonedaPublished in: ICCAD (2006)
Keyphrases
- mixed signal
- petri net
- petri net model
- low power
- multi channel
- vlsi circuits
- colored petri nets
- concurrent systems
- digital circuits
- cmos technology
- high speed
- power consumption
- low cost
- discrete event systems
- service composition
- ims ld
- fuzzy petri net
- low voltage
- web services
- state machines
- programmable logic controller
- asynchronous circuits
- power dissipation
- model checking
- analog circuits
- digital signal processing
- knowledge representation
- expert systems
- pattern recognition
- stochastic petri net
- real time