{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,11]],"date-time":"2025-09-11T17:56:04Z","timestamp":1757613364183,"version":"3.44.0"},"reference-count":15,"publisher":"IEEE","license":[{"start":{"date-parts":[[2019,10,1]],"date-time":"2019-10-01T00:00:00Z","timestamp":1569888000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2019,10,1]],"date-time":"2019-10-01T00:00:00Z","timestamp":1569888000000},"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":[[2019,10]]},"DOI":"10.1109\/norchip.2019.8906966","type":"proceedings-article","created":{"date-parts":[[2019,11,25]],"date-time":"2019-11-25T14:03:10Z","timestamp":1574690590000},"page":"1-7","source":"Crossref","is-referenced-by-count":0,"title":["HALib: Hardware Assertion Library for on-board verification of FPGA-based modules using HLS"],"prefix":"10.1109","author":[{"given":"J.","family":"Caba","sequence":"first","affiliation":[{"name":"University of Castilla-La Mancha,Ciudad Real 13071,Spain"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"F.","family":"Rinc\u00f3n","sequence":"additional","affiliation":[{"name":"University of Castilla-La Mancha,Ciudad Real 13071,Spain"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"J.","family":"Barba","sequence":"additional","affiliation":[{"name":"University of Castilla-La Mancha,Ciudad Real 13071,Spain"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"J.A.","family":"de la Torre","sequence":"additional","affiliation":[{"name":"University of Castilla-La Mancha,Ciudad Real 13071,Spain"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"J.D.","family":"Dondo","sequence":"additional","affiliation":[{"name":"National University of San Luis,D5700 BPB, San Luis,Argentina"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"J.C.","family":"L\u00f3pez","sequence":"additional","affiliation":[{"name":"University of Castilla-La Mancha,Ciudad Real 13071,Spain"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2016.2565204"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/FPT.2016.7929514"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/FPL.2014.6927495"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/ASICON.2009.5351246"},{"key":"ref14","article-title":"A simple Unit Test Framework for Embedded C","author":"karlesky","year":"2012","journal-title":"Unity Project Tech Rep"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/ISCAS.2008.4541637"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/MDAT.2017.2691348"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1145\/2744769.2744921"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/ISCAS.2014.6865091"},{"key":"ref5","first-page":"1","article-title":"Assertion support in high-level synthesis design flow","author":"ribon","year":"0","journal-title":"FDL 2011 Proceedings"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/IVSW.2017.8031555"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2016.2587278"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/MDAT.2017.2735383"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2015.2513673"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/IPDPSW.2010.5470747"}],"event":{"name":"2019 IEEE Nordic Circuits and Systems Conference (NORCAS): NORCHIP and International Symposium of System-on-Chip (SoC)","start":{"date-parts":[[2019,10,29]]},"location":"Helsinki, Finland","end":{"date-parts":[[2019,10,30]]}},"container-title":["2019 IEEE Nordic Circuits and Systems Conference (NORCAS): NORCHIP and International Symposium of System-on-Chip (SoC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8894146\/8906892\/08906966.pdf?arnumber=8906966","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,9,4]],"date-time":"2025-09-04T18:20:26Z","timestamp":1757010026000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8906966\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,10]]},"references-count":15,"URL":"https:\/\/doi.org\/10.1109\/norchip.2019.8906966","relation":{},"subject":[],"published":{"date-parts":[[2019,10]]}}}