{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,6,24]],"date-time":"2023-06-24T00:40:25Z","timestamp":1687567225077},"reference-count":25,"publisher":"Springer Science and Business Media LLC","issue":"1-2","license":[{"start":{"date-parts":[[2012,6,30]],"date-time":"2012-06-30T00:00:00Z","timestamp":1341014400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Des Autom Embed Syst"],"published-print":{"date-parts":[[2014,3]]},"DOI":"10.1007\/s10617-012-9088-8","type":"journal-article","created":{"date-parts":[[2012,6,29]],"date-time":"2012-06-29T13:08:53Z","timestamp":1340975333000},"page":"99-118","source":"Crossref","is-referenced-by-count":6,"title":["ASDeX: a formal specification for analog circuit enabling a full automated design validation"],"prefix":"10.1007","volume":"18","author":[{"given":"Mingyu","family":"Ma","sequence":"first","affiliation":[]},{"given":"Lars","family":"Hedrich","sequence":"additional","affiliation":[]},{"given":"Christian","family":"Sporrer","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2012,6,30]]},"reference":[{"issue":"1","key":"9088_CR1","doi-asserted-by":"crossref","first-page":"116","DOI":"10.1145\/227595.227602","volume":"43","author":"R Alur","year":"1996","unstructured":"Alur R, Feder T, Henzinger TA (1996) The benefits of relaxing punctuality. J ACM 43(1):116\u2013146. doi: 10.1145\/227595.227602","journal-title":"J ACM"},{"key":"9088_CR2","unstructured":"ASDeX Home (2012) www.em.cs.uni-frankfurt.de\/ASDeX"},{"key":"9088_CR3","volume-title":"Workshop on system design automation (SDA\u201998)","author":"T Barthel","year":"1998","unstructured":"Barthel T, M\u00fcller D, Pauliuk J (1998) A method for capturing analogue and heterogeneous system specifications. In: Workshop on system design automation (SDA\u201998), Dresden"},{"key":"9088_CR4","volume-title":"Proceedings of the conference on design, automation and test in Europe (DATE\u201907)","author":"R Bloem","year":"2007","unstructured":"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\u201907), April 16\u201320, 2007"},{"key":"9088_CR5","unstructured":"Gnucap Home Page (2006) www.gnu.org\/software\/gnucap\/"},{"key":"9088_CR6","volume-title":"Proceedings of the conference on design, automation and test in Europe (DATE\u201904)","author":"C Grimm","year":"2004","unstructured":"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\u201904), February 16\u201320, 2004"},{"key":"9088_CR7","unstructured":"IEEE Standard for IP-XACT (2009) Standard Structure for Packaging, Integrating, and Reusing IP within Tool Flows"},{"key":"9088_CR8","unstructured":"IEEE Standard for Low-Voltage Differential Signals (LVDS) for Scalable Coherent Interface (SCI) (1996)"},{"key":"9088_CR9","doi-asserted-by":"crossref","first-page":"3548","DOI":"10.1093\/ietfec\/e91-a.12.3548","volume":"E91-A","author":"A Jesser","year":"2008","unstructured":"Jesser A, L\u00e4mmermann 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\u20133555. Special section on VLSI design and CAD algorithms","journal-title":"IEICE Trans Fundam Electron Commun Comput Sci"},{"key":"9088_CR10","first-page":"585","volume-title":"23rd international conference on microelectronics (MIEL 2002)","author":"TJ Kazmierski","year":"2002","unstructured":"Kazmierski TJ, Hamid FA (2002) Analogue integrated circuit synthesis from VHDL-AMS behavioural specifications. In: 23rd international conference on microelectronics (MIEL 2002), pp 585\u2013588. doi: 10.1109\/MIEL.2002.1003325"},{"key":"9088_CR11","volume-title":"Proceedings of the conference on design, automation and test in Europe (DATE\u201908)","author":"W Kruijtzer","year":"2008","unstructured":"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\u2122 standards. In: Proceedings of the conference on design, automation and test in Europe (DATE\u201908), March 10\u201314, 2008"},{"key":"9088_CR12","first-page":"1171","volume-title":"Design, automation test in Europe conference exhibition (DATE)","author":"S L\u00e4mmermann","year":"2010","unstructured":"L\u00e4mmermann 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\u20131176"},{"key":"9088_CR13","volume-title":"Proceedings of the conference formal modelling and analysis of timed systems (FORMATS)","author":"O Maler","year":"2004","unstructured":"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"},{"key":"9088_CR14","series-title":"Lecture notes in computer science","doi-asserted-by":"crossref","first-page":"475","DOI":"10.1007\/978-3-540-78127-1_26","volume-title":"Pillars of computer science","author":"O Maler","year":"2008","unstructured":"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\u2013505"},{"key":"9088_CR15","volume-title":"Proceedings of IEEE\/ACM conference on design, automation and test in Europe (DATE\u201911)","author":"O Mitea","year":"2011","unstructured":"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\u201911), March 14\u201318, 2011"},{"key":"9088_CR16","volume-title":"Meilensteinbereicht M1.1.3-IFX-Q12, BMBF funding project VISION","author":"U Nageldinger","year":"2009","unstructured":"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"},{"key":"9088_CR17","volume-title":"Proceedings of the conference formal modelling and analysis of timed systems (FORMATS)","author":"D Nickovic","year":"2007","unstructured":"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)"},{"key":"9088_CR18","volume-title":"Proceedings of the conference on design, automation and test in Europe (DATE\u201908)","author":"S Steinhorst","year":"2008","unstructured":"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\u201908), March\u00a010\u201314, 2008. doi: 10.1109\/DATE.2008.4484700"},{"key":"9088_CR19","volume-title":"Proceedings of the analog 2006: 9. ITG\/GMM-Fachtagung Entwicklung von Analogschaltungen mit CAE-Methoden","author":"S Steinhorst","year":"2006","unstructured":"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"},{"key":"9088_CR20","first-page":"III-914","volume-title":"Proceedings of the 2003 international symposium on circuits and systems, ISCAS\u201903","author":"A Vachoux","year":"2003","unstructured":"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\u201903, vol 3, pp\u00a0III-914\u2013III-917. doi: 10.1109\/ISCAS.2003.1205169"},{"key":"9088_CR21","doi-asserted-by":"crossref","first-page":"388","DOI":"10.1109\/DATE.2003.1253639","volume-title":"Design, automation and test in Europe conference and exhibition","author":"A Vachoux","year":"2003","unstructured":"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\u2013393. doi: 10.1109\/DATE.2003.1253639"},{"key":"9088_CR22","unstructured":"www.makotemplates.org (2012) Mako Templates for Python"},{"key":"9088_CR23","unstructured":"www.w3.org\/math (2011) W3C Math Home"},{"key":"9088_CR24","unstructured":"www.w3schools.com\/schema (2012) XML Schema Tutorial"},{"key":"9088_CR25","volume-title":"Proceedings of the forum on specification and design languages 2008 (FDL\u201908)","author":"J Zimmermann","year":"2008","unstructured":"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\u201908), September 23\u201325, 2008"}],"container-title":["Design Automation for Embedded Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10617-012-9088-8.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10617-012-9088-8\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10617-012-9088-8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,6,24]],"date-time":"2023-06-24T00:02:10Z","timestamp":1687564930000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10617-012-9088-8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,6,30]]},"references-count":25,"journal-issue":{"issue":"1-2","published-print":{"date-parts":[[2014,3]]}},"alternative-id":["9088"],"URL":"https:\/\/doi.org\/10.1007\/s10617-012-9088-8","relation":{},"ISSN":["0929-5585","1572-8080"],"issn-type":[{"value":"0929-5585","type":"print"},{"value":"1572-8080","type":"electronic"}],"subject":[],"published":{"date-parts":[[2012,6,30]]}}}