Analog and mixed signal (AMS) designs are an important part of embedded systems that
link digital designs to the analog world. Due to challenges associated with its verification …

In this contribution an advanced methodology for model checking of analog systems is
introduced. A new Analog Specification Language (ASL) for efficient property specifications …

In this paper an XML based language format to describe specifications of analog IPs and its
usage in a validation flow is presented. With the help of an XML-Schema-Definition (XSD) a …

The objective of this thesis is to develop new methodologies for formal verification of
nonlinear analog circuits. Therefore, new approaches to discrete modeling of analog …

This chapter will discuss how the demand for higher design and verification efficiency could
be satisfied by introducing formal methods into analog circuit verification. Motivating the …

This dissertation presents a novel verification technique for analog and mixed signal circuits.
Analog circuits are widely used in many applications such as consumer electronics …

Sicherheit im Automobil und in der Luftfahrt, Zuverlässigkeit von Medizintechnik sowie
Komfort und Funktionsumfang von mobilen Endgeräten sind eine Grundvoraussetzung für …

This dissertation presents a novel verification technique for analog and mixed signal circuits.
Analog circuits are widely used in many applications include consumer electronics …

Analog and Mixed Signal (AMS) designs are essential components of today's modern
Integrated Circuits (ICs) used in the interface between real world signals and the digital …

Embedded systems are becoming a core technology in a growing range of electronic
devices. Cornerstones of embedded systems are analog and mixed signal (AMS) designs …