Verification of analog/mixed-signal circuits using labeled hybrid petri nets (2006)

by Scott Little , Nicholas Seegmiller , David Walter , Chris Myers , Tomohiro Yoneda
Venue:IN: PROC. OF ICCAD
Citations:18 - 9 self