Symbolic Model Checking of Analog/Mixed-Signal Circuits | IEEE Conference Publication | IEEE Xplore