publication venue for LEMA: A Tool for the Formal Verification of Digitally-Intensive Analog/Mixed-Signal Circuits 2014