Home
People
Research
Publications
Tools
Teaching
Outreach
Contact
Light
Dark
Automatic
system-on-a-chip
Verification of Analog/Mixed-Signal Circuits Using Labeled Hybrid Petri Nets
System on a chip design results in the integration of digital, analog, and mixed-signal circuits on the same substrate which further complicates the already difficult validation problem. This paper presents a new model, labeled hybrid Petri nets …
Cite
×