{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,26]],"date-time":"2025-08-26T00:15:31Z","timestamp":1756167331970,"version":"3.44.0"},"reference-count":18,"publisher":"IEEE","license":[{"start":{"date-parts":[[2012,4,1]],"date-time":"2012-04-01T00:00:00Z","timestamp":1333238400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2012,4,1]],"date-time":"2012-04-01T00:00:00Z","timestamp":1333238400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012,4]]},"DOI":"10.1109\/latw.2012.6261235","type":"proceedings-article","created":{"date-parts":[[2012,8,8]],"date-time":"2012-08-08T13:09:56Z","timestamp":1344431396000},"page":"1-6","source":"Crossref","is-referenced-by-count":1,"title":["A guiding heuristic for the semi-formal verification of high-level designs"],"prefix":"10.1109","author":[{"given":"Alair","family":"Dias Junior","sequence":"first","affiliation":[{"name":"Graduate Program in Electrical Engineering - Federal University of Minas Gerais - Av. Antônio Carlos 6627, 31270-901, Belo Horizonte, Brazil"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Di\u00f3genes C.","family":"da Silva J\u00fanior","sequence":"additional","affiliation":[{"name":"Department of Electrical Engineering - Federal University of Minas Gerais - Av. Antônio Carlos 6627, 31270-901, Belo Horizonte, Brazil"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"journal-title":"Liblbfgs A Library of Limited-memory Broyden-ftetchergoldfarb-shanno (I-bfgs)","year":"2010","author":"okazaki","key":"17"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1007\/b98874"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1109\/HLDVT.2004.1431224"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1109\/32.624304"},{"key":"13","first-page":"198","article-title":"Code-coverage based test vector generation for systemc designs","author":"dias junior","year":"0","journal-title":"Proceedings of the IEEE International Symposium on VLSI"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1109\/ISCAS.2011.5937853"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1109\/HLDVT.2006.319965"},{"key":"12","first-page":"86","article-title":"Anti random testing: Getting the most out of blackbox testing","author":"malaiya","year":"1995","journal-title":"Proceedings of the 1995 International Symposium on Software Reliability Engineering"},{"journal-title":"Verification Techniques for SystemLevel Design San Francisco","year":"2008","author":"fujita","key":"3"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4615-0302-6"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1145\/1629911.1630082"},{"journal-title":"Quality-Driven SystemC Designs","year":"2010","author":"grobe","key":"10"},{"journal-title":"1850-2010 IEEE Standard for Property Specification Language (PSL)","year":"2010","key":"7"},{"journal-title":"IEEE 1666-2005 Open SystemC Language Reference Manual","year":"2005","key":"6"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1109\/ISSOC.2004.1411179"},{"journal-title":"Comprehensive Functional Verification T He Complete Industry Cycle (Systems on Silicon)","year":"2005","author":"wile","key":"4"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1109\/TC.2008.74"},{"journal-title":"AsmL The Abstract State Machine Language","year":"2011","key":"8"}],"event":{"name":"2012 13th Latin American Test Workshop - LATW","start":{"date-parts":[[2012,4,10]]},"location":"Quito, Ecuador","end":{"date-parts":[[2012,4,13]]}},"container-title":["2012 13th Latin American Test Workshop (LATW)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/6247526\/6261223\/06261235.pdf?arnumber=6261235","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,8,25]],"date-time":"2025-08-25T20:15:49Z","timestamp":1756152949000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/6261235\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,4]]},"references-count":18,"URL":"https:\/\/doi.org\/10.1109\/latw.2012.6261235","relation":{},"subject":[],"published":{"date-parts":[[2012,4]]}}}