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 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.
Similar content being viewed by others
Notes
LVDS: low-voltage differential signaling.
The Essence Framework was a part work of the VISION project (funding label: 01 M 3078). This project is partly supported in accordance with the BMBF “Nanoelectronics” sponsorship scheme within the scope of the Ekompass-sponsorship complex of the Federal Ministry of Education and Research (BMBF).
The Meta-Simulator is a PERL software library and developed by Infineon Technologies AG, Germany.
References
Alur R, Feder T, Henzinger TA (1996) The benefits of relaxing punctuality. J ACM 43(1):116–146. doi:10.1145/227595.227602
ASDeX Home (2012) www.em.cs.uni-frankfurt.de/ASDeX
Barthel T, Müller D, Pauliuk J (1998) A method for capturing analogue and heterogeneous system specifications. In: Workshop on system design automation (SDA’98), Dresden
Bloem R, Galler S, Piterman N, Pnueli A, Weiglhofer M (2007) Automatic hardware synthesis from specifications: a case study. In: Proceedings of the conference on design, automation and test in Europe (DATE’07), April 16–20, 2007
Gnucap Home Page (2006) www.gnu.org/software/gnucap/
Grimm C, Heupke W, Waldschmidt K (2004) Refinement of mixed-signal systems with affine arithmetic. In: Proceedings of the conference on design, automation and test in Europe (DATE’04), February 16–20, 2004
IEEE Standard for IP-XACT (2009) Standard Structure for Packaging, Integrating, and Reusing IP within Tool Flows
IEEE Standard for Low-Voltage Differential Signals (LVDS) for Scalable Coherent Interface (SCI) (1996)
Jesser A, Lämmermann S, Pacholik A, Weiss R, Ruf J, Fengler W, Hedrich L, Kropf T, Rosenstiel W (2008) Advanced assertion based design for mixed-signal verification. IEICE Trans Fundam Electron Commun Comput Sci E91-A:3548–3555. Special section on VLSI design and CAD algorithms
Kazmierski TJ, Hamid FA (2002) Analogue integrated circuit synthesis from VHDL-AMS behavioural specifications. In: 23rd international conference on microelectronics (MIEL 2002), pp 585–588. doi:10.1109/MIEL.2002.1003325
Kruijtzer W, van der Wolf P, de Kock E, Stuyt J, Ecker W, Mayer A, Hustin S, Amerijckx C, de Paoli S, Vaumorin E (2008) Industrial IP integration flows based on IP-XACT™ standards. In: Proceedings of the conference on design, automation and test in Europe (DATE’08), March 10–14, 2008
Lämmermann S, Ruf J, Kropf T, Rosenstiel W, Viehl A, Jesser A, Hedrich L (2010) Towards assertion-based verification of heterogeneous system designs. In: Design, automation test in Europe conference exhibition (DATE), pp 1171–1176
Maler O, Nickovic D (2004) Monitoring temporal properties of continuous signals. In: Proceedings of the conference formal modelling and analysis of timed systems (FORMATS), Berlin
Maler O, Nickovic D, Pnueli A (2008) Checking temporal properties of discrete, timed and continuous behaviors. In: Avron A, Dershowitz N, Rabinovich A (eds) Pillars of computer science. Lecture notes in computer science, vol 4800. Springer, Berlin/Heidelberg, pp 475–505
Mitea O, Meissner M, Hedrich L, Jores P (2011) Automated constraint-driven topology synthesis for analog circuits. In: Proceedings of IEEE/ACM conference on design, automation and test in Europe (DATE’11), March 14–18, 2011
Nageldinger U, Esen V, Velten M (2009) Implementierung einer exemplarischen transformation von der beschreibungsmethodik nach Entwurfs-/Dokumentationsdaten. In: Meilensteinbereicht M1.1.3-IFX-Q12, BMBF funding project VISION, August 31, 2009
Nickovic D, Maler O (2007) AMT: a property-based monitoring tool for analog systems. In: Proceedings of the conference formal modelling and analysis of timed systems (FORMATS)
Steinhorst S, Hedrich L (2008) Model checking of analog systems using an analog specification language. In: Proceedings of the conference on design, automation and test in Europe (DATE’08), March 10–14, 2008. doi:10.1109/DATE.2008.4484700
Steinhorst S, Jesser A, Hedrich L (2006) Advanced property specification for model checking of analog systems. In: Proceedings of the analog 2006: 9. ITG/GMM-Fachtagung Entwicklung von Analogschaltungen mit CAE-Methoden
Vachoux A, Grimm C, Einwich K (2003) Analog and mixed signal modelling with systemc-ams. In: Proceedings of the 2003 international symposium on circuits and systems, ISCAS’03, vol 3, pp III-914–III-917. doi:10.1109/ISCAS.2003.1205169
Vachoux A, Grimm C, Einwich K (2003) Systemc-ams requirements, design objectives and rationale. In: Design, automation and test in Europe conference and exhibition, pp 388–393. doi:10.1109/DATE.2003.1253639
www.makotemplates.org (2012) Mako Templates for Python
www.w3.org/math (2011) W3C Math Home
www.w3schools.com/schema (2012) XML Schema Tutorial
Zimmermann J, Bringmann O, Gerlach J, Schaefer F, Nageldinger U (2008) Comprehensive platform and component modeling of heterogeneous interconnected systems. In: Proceedings of the forum on specification and design languages 2008 (FDL’08), September 23–25, 2008
Author information
Authors and Affiliations
Corresponding author
Additional information
This work was partly developed within the project SyEnA (project label 01 M 30 86) which is funded within the Research Program ICT 2020 by the German Federal Ministry of Education and Research (BMBF).
Rights and permissions
About this article
Cite this article
Ma, M., Hedrich, L. & Sporrer, C. ASDeX: a formal specification for analog circuit enabling a full automated design validation. Des Autom Embed Syst 18, 99–118 (2014). https://doi.org/10.1007/s10617-012-9088-8
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10617-012-9088-8