Design Automation for Embedded Systems

, Volume 18, Issue 1, pp 99–118

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


DOI: 10.1007/s10617-012-9088-8

Cite this article as:
Ma, M., Hedrich, L. & Sporrer, C. Des Autom Embed Syst (2014) 18: 99. doi:10.1007/s10617-012-9088-8


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


ASDeX Formal specification Analog IPs XML Design flow Validation LVDS OP-AMP A/D converter 

Copyright information

© Springer Science+Business Media, LLC 2012

Authors and Affiliations

  1. 1.Department of Computer ScienceGoethe University of Frankfurt am MainFrankfurt am MainGermany
  2. 2.IFX DES IP LIBInfineon Technologies AGNeubibergGermany

Personalised recommendations