Verification of analog/mixed-signal circuits using labeled hybrid petri nets.

Scott Little, Nicholas Seegmiller, David Walter, Chris J. Myers, Tomohiro Yoneda

Browse the full ICCAD paper archive.