Verification of Analog and Mixed-Signal Circuits Using Symbolic Methods (2007)

by Scott Little , David Walter , Nicholas Seegmiller , Chris Myers , Tomohiro Yoneda
Citations:11 - 4 self