{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,4]],"date-time":"2022-04-04T22:46:09Z","timestamp":1649112369536},"reference-count":22,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2016,8,1]],"date-time":"2016-08-01T00:00:00Z","timestamp":1470009600000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["J Electron Test"],"published-print":{"date-parts":[[2016,8]]},"DOI":"10.1007\/s10836-016-5600-6","type":"journal-article","created":{"date-parts":[[2016,8,3]],"date-time":"2016-08-03T07:05:26Z","timestamp":1470207926000},"page":"491-503","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["A New Approach for Modeling Inconsistencies in Digital-Assisted Analog Design"],"prefix":"10.1007","volume":"32","author":[{"given":"G\u00fcrkan","family":"Uygur","sequence":"first","affiliation":[]},{"given":"Sebastian M.","family":"Sattler","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2016,8,3]]},"reference":[{"key":"5600_CR1","unstructured":"Automotive IC Market to Display Strongest Growth Through 2018, IC INSIGHTS (November 18, 2014). [Online]. Available: http:\/\/www.icinsights.com\/data\/articles\/documents\/736.pdf"},{"key":"5600_CR2","first-page":"1","volume":"17","author":"J Ad\u00e1mek","year":"2006","unstructured":"Ad\u00e1mek J, Herrlich H, Strecker GE (2006) Abstract and concrete categories: the joy of cats. Repr Theory Appl Categ 17:1\u2013507. reprint of the 1990 original [Wiley, New York]","journal-title":"Repr Theory Appl Categ"},{"issue":"2","key":"5600_CR3","doi-asserted-by":"crossref","first-page":"223","DOI":"10.1109\/5.740016","volume":"87","author":"CHKv Berkel","year":"1999","unstructured":"Berkel C. H. K. v., Josephs MB, Nowick SM (1999) Scanning the technology: Applications of asynchronous circuits. IEEE Proc 87(2):223\u2013233","journal-title":"IEEE Proc"},{"key":"5600_CR4","unstructured":"Foty D, The future of Moore\u2019s Law - Does it have one? (2015). In: International Conference on Synthesis, Modeling, Analysis and Simulation Methods and Applications to Circuit Design (SMACD) 2015"},{"key":"5600_CR5","doi-asserted-by":"crossref","unstructured":"Foley C (1996) Characterizing metastability. In: Second International Symposium on Advanced Research in Asynchronous Circuits and Systems, 1996. Proceedings, pp 175\u2013184","DOI":"10.1109\/ASYNC.1996.494449"},{"key":"5600_CR6","doi-asserted-by":"crossref","unstructured":"Gurkaynak F, Villiger T, Oetiker S, Felber N, Kaeslin H, Fichtner W (2002) A functional test methodology for globally-asynchronous locally-synchronous systems. In: Proceedings. Eighth International Symposium on Asynchronous Circuits and Systems, 2002, pp 181\u2013189","DOI":"10.1109\/ASYNC.2002.1000308"},{"issue":"5","key":"5600_CR7","doi-asserted-by":"crossref","first-page":"23","DOI":"10.1109\/MDT.2011.113","volume":"28","author":"R Ginosar","year":"2011","unstructured":"Ginosar R (2011) Metastability and synchronizers: a tutorial. IEEE Des Test Comput 28(5):23\u201335","journal-title":"IEEE Des Test Comput"},{"key":"5600_CR8","doi-asserted-by":"crossref","unstructured":"Haydt M, Mourad S, Terry W, Terry J (2002) A new model for metastability. In: 9th International Conference on Electronics, Circuits and Systems, 2002, vol 1, pp 413\u2013416","DOI":"10.1109\/ICECS.2002.1045421"},{"issue":"3","key":"5600_CR9","doi-asserted-by":"crossref","first-page":"111","DOI":"10.1016\/0167-9260(95)00012-5","volume":"19","author":"H Hulgaard","year":"1995","unstructured":"Hulgaard H, Burns SM, Borriello G (1995) Testing asynchronous circuits: a survey. Integr VLSI J 19 (3):111\u2013131","journal-title":"Integr VLSI J"},{"key":"5600_CR10","unstructured":"International Technology Roadmap for Semiconductors, Design. (2005). [Online]. Available: www.itrs.net\/Links\/2005ITRS\/Design2005.pdf"},{"key":"5600_CR11","doi-asserted-by":"crossref","first-page":"433","DOI":"10.1007\/s00236-009-0102-y","volume":"46","author":"V Khomenko","year":"2009","unstructured":"Khomenko V, Schaefer M, Vogler W, Wollowski R (2009) STG decomposition strategies in combination with unfolding. Acta Inform 46:433\u2013474. [Online]. Available: http:\/\/dl.acm.org\/citation.cfm?id=1669896.1669898","journal-title":"Acta Inform"},{"issue":"11","key":"5600_CR12","doi-asserted-by":"crossref","first-page":"1356","DOI":"10.1109\/43.97615","volume":"10","author":"RP Kurshan","year":"1991","unstructured":"Kurshan RP, McMillan KL (1991) Analysis of digital circuits through symbolic reduction. IEEE Trans CAD Integr Circ Syst 10(11):1356\u20131371. [Online]. Available: http:\/\/dblp.uni-trier.de\/db\/journals\/tcad\/tcad10.html#KurshanM91","journal-title":"IEEE Trans CAD Integr Circ Syst"},{"key":"5600_CR13","doi-asserted-by":"crossref","unstructured":"Li D, Chuang P, Sachdev M (2010) Comparative analysis and study of metastability on high-performance flip-flops. In: 2010 11th International Symposium on Quality Electronic Design (ISQED), pp 853\u2013860","DOI":"10.1109\/ISQED.2010.5450482"},{"issue":"8","key":"5600_CR14","doi-asserted-by":"crossref","first-page":"986","DOI":"10.1109\/43.402498","volume":"14","author":"S Nowick","year":"1995","unstructured":"Nowick S, Dill D (1995) Exact two-level minimization of hazard-free logic with multiple-input changes. IEEE Trans Comput-Aided Des Integr Circ Syst 14(8):986\u2013997","journal-title":"IEEE Trans Comput-Aided Des Integr Circ Syst"},{"key":"5600_CR15","unstructured":"OMG, OMG Unified Modeling Language (OMG UML), Superstructure, Version 2.4.1, Object Management Group Std., Review 2.4.1, August 2011. [Online]. Available: http:\/\/www.omg.org\/spec\/UML\/2.4.1"},{"key":"5600_CR16","doi-asserted-by":"crossref","unstructured":"Shirvani P, Mitra S, Ebergen J, Roncken M (2000) DUDES: a fault abstraction and collapsing framework for asynchronous circuits. In: Sixth International Symposium on Advanced Research in Asynchronous Circuits and Systems, 2000. (ASYNC 2000) Proceedings, pp 73\u201382","DOI":"10.1109\/ASYNC.2000.836962"},{"key":"5600_CR17","unstructured":"Schaefer M Advanced STG Decomposition Books on Demand GmbH, 2008. [Online]. Available: http:\/\/books.google.de\/books?id=GQMBvIqhyfkC"},{"key":"5600_CR18","unstructured":"Shang DE University of Newcastle upon Tyne. School of Electrical, and C. Engineering, Asynchronous Communication Circuits: Design, Test and Synthesis. University of Newcastle upon Tyne, 2003. [Online]. Available: http:\/\/books.google.de\/books?id=RZEEMwEACAAJ"},{"key":"5600_CR19","doi-asserted-by":"crossref","unstructured":"Tang T (1991) Experimental studies of metastability behaviors of sub-micron CMOS ASIC flip flops. In: ASIC Conference and Exhibit, 1991. Proceedings., Fourth Annual IEEE International, pp P7\u20134\/1\u20134","DOI":"10.1109\/ASIC.1991.242846"},{"key":"5600_CR20","doi-asserted-by":"crossref","unstructured":"Uygur G, Sattler S (2015) Structure preserving modeling for safety critical systems. In: 2015 20th International Mixed-Signal Testing Workshop (IMSTW), pp 1\u20136","DOI":"10.1109\/IMS3TW.2015.7177866"},{"key":"5600_CR21","volume-title":"Algorithms for automatic generation of relative timing constraints","author":"Y Xu","year":"2011","unstructured":"Xu Y (2011) Algorithms for automatic generation of relative timing constraints. Ph.D. Dissertation, UT, USA"},{"key":"5600_CR22","doi-asserted-by":"crossref","unstructured":"Yoneda T, Kitai T, Myers CJ (2002) Automatic derivation of timing constraints by failure analysis. In: Brinksma E, Larsen KG (eds) CAV, Ser Lect Notes Comput Sci. [Online]. Available: http:\/\/dblp.uni-trier.de\/db\/conf\/cav\/cav2002.html#YonedaKM02 , vol 2404. Springer, pp 195\u2013208","DOI":"10.1007\/3-540-45657-0_15"}],"container-title":["Journal of Electronic Testing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10836-016-5600-6.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10836-016-5600-6\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10836-016-5600-6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,24]],"date-time":"2017-06-24T19:49:46Z","timestamp":1498333786000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10836-016-5600-6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,8]]},"references-count":22,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2016,8]]}},"alternative-id":["5600"],"URL":"https:\/\/doi.org\/10.1007\/s10836-016-5600-6","relation":{},"ISSN":["0923-8174","1573-0727"],"issn-type":[{"value":"0923-8174","type":"print"},{"value":"1573-0727","type":"electronic"}],"subject":[],"published":{"date-parts":[[2016,8]]}}}