Symbolic Model Checking of Analog/Mixed-Signal Circuits.

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

Browse the full ASPDAC paper archive.