publication venue for LEMA: A Tool for the Formal Verification of Digitally-Intensive Analog/Mixed-Signal Circuits 2014 An Op-Amp Sharing Technique for Continuous-Time Delta Sigma Modulators 2010
