{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T13:50:27Z","timestamp":1725630627389},"reference-count":14,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013,10]]},"DOI":"10.1109\/vlsi-soc.2013.6673252","type":"proceedings-article","created":{"date-parts":[[2013,12,4]],"date-time":"2013-12-04T14:45:44Z","timestamp":1386168344000},"page":"66-71","source":"Crossref","is-referenced-by-count":1,"title":["Analog layer extensions for analog\/mixed-signal assertion languages"],"prefix":"10.1109","author":[{"given":"Dogan","family":"Ulus","sequence":"first","affiliation":[]},{"given":"Alper","family":"Sen","sequence":"additional","affiliation":[]},{"given":"Faik","family":"Baskaya","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"journal-title":"Checking timed and hybrid properties Theory and applications","year":"2008","author":"nickovic","key":"13"},{"journal-title":"Synopsys","article-title":"Cosmoscope reference manual","year":"2004","key":"14"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1109\/SFCS.1977.32"},{"journal-title":"Proceedings of Design and Verification Conference and Exhibition (DVCON)","year":"2005","author":"foster","key":"12"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1109\/VLSI-SoC.2012.6379019"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1145\/1403375.1403453"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2009.5090759"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1109\/HLDVT.2012.6418242"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2010.5456985"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1145\/1497561.1497564"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1142\/S0129054110007209"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2007.364599"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1145\/227595.227602"},{"key":"8","first-page":"152","article-title":"Monitoring temporal properties of continuous signals","author":"maler","year":"2004","journal-title":"Proceedings of the Conference on Formal Modelling and Analysis of Timed Systems (FORMATS)"}],"event":{"name":"2013 IFIP\/IEEE 21st International Conference on Very Large Scale Integration (VLSI-SoC)","start":{"date-parts":[[2013,10,7]]},"location":"Istanbul, Turkey","end":{"date-parts":[[2013,10,9]]}},"container-title":["2013 IFIP\/IEEE 21st International Conference on Very Large Scale Integration (VLSI-SoC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6662534\/6673221\/06673252.pdf?arnumber=6673252","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,22]],"date-time":"2017-03-22T18:31:45Z","timestamp":1490207505000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6673252\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,10]]},"references-count":14,"URL":"https:\/\/doi.org\/10.1109\/vlsi-soc.2013.6673252","relation":{},"subject":[],"published":{"date-parts":[[2013,10]]}}}