{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,6]],"date-time":"2025-10-06T06:05:33Z","timestamp":1759730733800,"version":"3.28.0"},"reference-count":24,"publisher":"IEEE","license":[{"start":{"date-parts":[[2016,9,1]],"date-time":"2016-09-01T00:00:00Z","timestamp":1472688000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2016,9,1]],"date-time":"2016-09-01T00:00:00Z","timestamp":1472688000000},"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":[[2016,9]]},"DOI":"10.1109\/fdl.2016.7880375","type":"proceedings-article","created":{"date-parts":[[2017,3,20]],"date-time":"2017-03-20T20:35:57Z","timestamp":1490042157000},"page":"1-8","source":"Crossref","is-referenced-by-count":9,"title":["On the application of formal fault localization to automated RTL-to-TLM fault correspondence analysis for fast and accurate VP-based error effect simulation - a case study"],"prefix":"10.1109","author":[{"given":"Vladimir","family":"Herdt","sequence":"first","affiliation":[{"name":"Institute of Computer Science, University of Bremen, 28359 Bremen, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hoang M.","family":"Le","sequence":"additional","affiliation":[{"name":"Institute of Computer Science, University of Bremen, 28359 Bremen, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Daniel","family":"Gro\u00dfe","sequence":"additional","affiliation":[{"name":"Institute of Computer Science, University of Bremen, 28359 Bremen, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rolf","family":"Drechsler","sequence":"additional","affiliation":[{"name":"Institute of Computer Science, University of Bremen, 28359 Bremen, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2012.2188800"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/ReCoSoC.2014.6860690"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1145\/2463209.2488877"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.3850\/9783981537079_0717"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1145\/1531542.1531565"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1145\/1403375.1403472"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/HLDVT.2010.5496659"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1145\/1837274.1837333"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1007\/s10836-012-5318-z"},{"year":"0","key":"ref19"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/MDT.2009.135"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/IOLTS.2008.25"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1016\/j.micpro.2014.05.008"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/EDCC.2010.34"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1145\/2463209.2488859"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/HPCA.2009.4798242"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1145\/2593069.2602976"},{"year":"2011","key":"ref1","article-title":"IEEE Standard SystemC Language Reference Manual"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2006.12.032"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1145\/2228360.2228421"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1145\/2966986.2967016"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.2013.6691189"},{"key":"ref24","doi-asserted-by":"crossref","first-page":"110","DOI":"10.1145\/1040305.1040315","article-title":"Dynamic Partial-Order Reduction for model checking software","author":"flanagan","year":"2005","journal-title":"POPL"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-60761-7"}],"event":{"name":"2016 Forum on Specification and Design Languages (FDL)","start":{"date-parts":[[2016,9,14]]},"location":"Bremen, Germany","end":{"date-parts":[[2016,9,16]]}},"container-title":["2016 Forum on Specification and Design Languages (FDL)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7879501\/7880364\/07880375.pdf?arnumber=7880375","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,11,11]],"date-time":"2024-11-11T18:38:41Z","timestamp":1731350321000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/7880375\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,9]]},"references-count":24,"URL":"https:\/\/doi.org\/10.1109\/fdl.2016.7880375","relation":{},"subject":[],"published":{"date-parts":[[2016,9]]}}}