LEMA: A tool for the formal verification of digitally-intensive analog/mixed-signal circuits

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 paper describe...

Full description

Saved in:
Bibliographic Details
Main Authors: Fisher, Andrew N., Batchu, Satish, Jones, Kevin, Kulkarni, Dhanashree, Little, Scott, Walter, David, Myers, Chris J.
Format: Conference Proceeding
Language:English
Subjects:
Clocks
Delays
Generators
Integrated circuit modeling
Voltage control
Voltage-controlled oscillators
Wires
Online Access:Request full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary: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 paper 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 three model checkers within LEMA. This paper briefly describes the capabilities of the LEMA AMS verification tool flow.
ISSN:1548-3746
1558-3899
DOI:10.1109/MWSCAS.2014.6908590