ASDeX: a formal specification for analog circuit enabling a full automated design validation

Abstract

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 XMLSchema-Definition (XSD) a specification description language called Analog Specification Description in XML (ASDeX) is introduced. An ASDeX-file contains not only specification parameters but also measurement definitions and testbenches to enable specification validation based on simulation. The intention is to generate executable modules (tasks) for running simulations and extracting and checking the actual property values of analog circuits. The task generation is based on a generic template approach using a Meta-Simulator to achieve vendor independent analog IP representation including IP verification.

A formalism of the specifications for library development

“…This IP-XACT specification is widely accepted in industry for packaging, integrating, and verifying IPs [6]. In the same sense of IP-XACT, ASDeX, which is an XML-based language format to describe the specification of analog IPs, has been proposed in [7]. This specification is applied to the validation flow of analog IPs.…”