{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,2]],"date-time":"2026-06-02T13:17:27Z","timestamp":1780406247036,"version":"3.54.1"},"reference-count":20,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012,12]]},"DOI":"10.1109\/icecs.2012.6463745","type":"proceedings-article","created":{"date-parts":[[2013,2,23]],"date-time":"2013-02-23T02:18:16Z","timestamp":1361585896000},"page":"284-287","source":"Crossref","is-referenced-by-count":1,"title":["A formal framework for testing with assertion checkers in mixed-signal simulation"],"prefix":"10.1109","author":[{"given":"Laurence","family":"Pierre","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"19","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-04761-9_19"},{"key":"17","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2008.4484730"},{"key":"18","article-title":"IEEE Std 1076.1-2007","year":"2007","journal-title":"IEEE Standard VHDL Analog and Mixed-Signal Extensions"},{"key":"15","article-title":"IEEE Std 1076-1993","year":"1994","journal-title":"IEEE Standard VHDL Language Reference Manual IEEE"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2002.805818"},{"key":"13","article-title":"An instrumentation-based approach to controller model validation","author":"cleaveland","year":"2006","journal-title":"Proc Second Automotive Software Workshop (ASWSD'2006)"},{"key":"14","article-title":"Mathworks adds formal methods to Simulink","author":"goering","year":"2007","journal-title":"EE Times Europe"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2010.5456985"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1145\/1497561.1497564"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1561\/1000000013"},{"key":"20","author":"clarke","year":"2000","journal-title":"Model checking"},{"key":"2","article-title":"IEEE Std 1850-2005","year":"2005","journal-title":"IEEE Standard for Property Specification Language (PSL)"},{"key":"1","author":"kundert","year":"2005","journal-title":"Top-down Verification Guides Mixed-signal Designs"},{"key":"10","article-title":"Towards assertion based verification of analog and mixed signal designs using PSL","author":"al sammane","year":"2007","journal-title":"Proc FDL'2007"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1016\/j.mejo.2008.05.013"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.2514\/6.2012-4939"},{"key":"5","year":"0","journal-title":"Dolphin Web Page"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2006.244079"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1145\/1127908.1127984"},{"key":"8","article-title":"Monitoring temporal properties of continuous signals","author":"maler","year":"2004","journal-title":"Proc Formal Modelling and Analysis of Timed Systems (FORMATS'04"}],"event":{"name":"2012 19th IEEE International Conference on Electronics, Circuits and Systems - (ICECS 2012)","location":"Seville, Seville, Spain","start":{"date-parts":[[2012,12,9]]},"end":{"date-parts":[[2012,12,12]]}},"container-title":["2012 19th IEEE International Conference on Electronics, Circuits, and Systems (ICECS 2012)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6450169\/6463499\/06463745.pdf?arnumber=6463745","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,22]],"date-time":"2017-03-22T13:18:12Z","timestamp":1490188692000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6463745\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,12]]},"references-count":20,"URL":"https:\/\/doi.org\/10.1109\/icecs.2012.6463745","relation":{},"subject":[],"published":{"date-parts":[[2012,12]]}}}