Login / Signup
Verification of Analog/Mixed-Signal Circuits Using Labeled Hybrid Petri Nets.
Scott Little
David Walter
Chris J. Myers
Robert A. Thacker
Satish Batchu
Tomohiro Yoneda
Published 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