ANALOG/MIXED-SIGNAL CIRCUIT VERIFICATION USING MODELS GENERATED FROM SIMULATION TRACES

DOI10.1142/S0129054110007209zbMath1200.68162OpenAlexW1994364444WikidataQ59859532 ScholiaQ59859532MaRDI QIDQ3552520

No author found.

Publication date: 22 April 2010

Published in: International Journal of Foundations of Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1142/s0129054110007209

zbMATH Keywords

hybrid Petri netsformal methodsabstract model generationanalog/mixed-signal circuits

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Cites Work

• On hybrid Petri nets

This page was built for publication: ANALOG/MIXED-SIGNAL CIRCUIT VERIFICATION USING MODELS GENERATED FROM SIMULATION TRACES