{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,1]],"date-time":"2026-04-01T22:17:11Z","timestamp":1775081831547,"version":"3.50.1"},"reference-count":21,"publisher":"IEEE","license":[{"start":{"date-parts":[[2016,10,1]],"date-time":"2016-10-01T00:00:00Z","timestamp":1475280000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2016,10,1]],"date-time":"2016-10-01T00:00:00Z","timestamp":1475280000000},"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,10]]},"DOI":"10.1109\/hldvt.2016.7748249","type":"proceedings-article","created":{"date-parts":[[2016,11,21]],"date-time":"2016-11-21T21:23:51Z","timestamp":1479763431000},"page":"9-16","source":"Crossref","is-referenced-by-count":0,"title":["Accelerating assertion assessment using GPUs"],"prefix":"10.1109","author":[{"given":"Jason G.","family":"Tong","sequence":"first","affiliation":[{"name":"Integrated Microsystems Laboratory - McGill University, Montreal, Quebec, Canada"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marc","family":"Boule","sequence":"additional","affiliation":[{"name":"Ecole de Technologie Superieure, Montreal, Quebec, Canada"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zeljko","family":"Zilic","sequence":"additional","affiliation":[{"name":"Integrated Microsystems Laboratory - McGill University, Montreal, Quebec, Canada"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","first-page":"28","article-title":"The role of mutation analysis for property qualification","author":"di","year":"2009","journal-title":"Proceedings of the International Conference on Formal Methods and Models for Co-Design (MEM-O CODE)"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/ASQED.2013.6643604"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/ISED.2013.34"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2011.2158432"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.7873\/DATE.2015.0077"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1145\/1970353.1970363"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1145\/1391469.1391679"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1145\/2380445.2380500"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.1993.346062"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/HLDVT.2009.5340166"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/TC.2012.301"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511809163"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-48153-2_21"},{"key":"ref5","article-title":"Mutation based debugging technique with auto-correction mechanism for RTL designs","author":"behnam","year":"2012","journal-title":"8th International Workshop on Silicon Debug and Diagnosis"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/VLSI-SoC.2015.7314438"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/FMCAD.2008.ECP.29"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-74407-8_33"},{"key":"ref1","author":"foster","year":"2004","journal-title":"Assertion-Based Design"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-22110-1_5"},{"key":"ref20","year":"2011","journal-title":"NVIDIA OpenCL Programming Guide"},{"key":"ref21","year":"0","journal-title":"Opencores"}],"event":{"name":"2016 IEEE International High Level Design Validation and Test Workshop (HLDVT)","location":"Santa Cruz, CA, USA","start":{"date-parts":[[2016,10,7]]},"end":{"date-parts":[[2016,10,8]]}},"container-title":["2016 IEEE International High Level Design Validation and Test Workshop (HLDVT)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7746774\/7748241\/07748249.pdf?arnumber=7748249","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,4,1]],"date-time":"2026-04-01T20:10:49Z","timestamp":1775074249000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/7748249\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,10]]},"references-count":21,"URL":"https:\/\/doi.org\/10.1109\/hldvt.2016.7748249","relation":{},"subject":[],"published":{"date-parts":[[2016,10]]}}}