salle A. Turing CE4
11 juin 2015 - 14h00
LEMA: A Tool for the Formal Verification of Digitally-Intensive Analog/Mixed-Signal Circuits
par Chris Myers de University of Utah
Abstract: The increasing integration of analog/mixed-signal (AMS) circuits into system designs has further complicated an already difficult verification problem. Recently, formal verification, which has been successful in the purely digital domain, has made some in-roads in the AMS domain. This talk describes one such formal verification tool for AMS circuits, LEMA. In particular, LEMA is capable of generating a formal model from simulation traces that, when coupled with a formal property provided in our new property language, can be model checked with one of four model checkers within LEMA. This talk briefly describes the capabilities of the LEMA AMS verification tool flow focusing on some recent advancements.