A new assertion property language for analog/mixed-signal circuits

Abstract

In automating the verification of analog/mixed-signal (AMS) circuits, it essential to have a specification language that can describe the behavior that needs to be checked. Although powerful and very expressive, many such languages have a steep learning curve for designers and are complicated to use. This paper describes a simpler, more intuitive language called the Language for Analog/Mixed-Signal Properties (LAMP) that is incorporated into our LEMA verification tool, and demonstrates how this language can be used for AMS verification.

Publication
Proceedings of the 2013 Forum on specification and Design Languages (FDL)
Dhanashree Kulkarni
Dhanashree Kulkarni
Intel Technologies, Analog Engineer

Related