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

Abstract

In automating the verification of Analog/Mixed-Signal(AMS) circuits, it is 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 chapter 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. © 2015 Springer International Publishing.