{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,21]],"date-time":"2026-04-21T23:15:29Z","timestamp":1776813329166,"version":"3.51.2"},"reference-count":27,"publisher":"IEEE","license":[{"start":{"date-parts":[[2021,10,26]],"date-time":"2021-10-26T00:00:00Z","timestamp":1635206400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2021,10,26]],"date-time":"2021-10-26T00:00:00Z","timestamp":1635206400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2021,10,26]],"date-time":"2021-10-26T00:00:00Z","timestamp":1635206400000},"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":[[2021,10,26]]},"DOI":"10.1109\/norcas53631.2021.9599865","type":"proceedings-article","created":{"date-parts":[[2021,11,16]],"date-time":"2021-11-16T20:38:09Z","timestamp":1637095089000},"page":"1-7","source":"Crossref","is-referenced-by-count":9,"title":["A Methodology for Automated Mining of Compact and Accurate Assertion Sets"],"prefix":"10.1109","author":[{"given":"Mohammad Reza","family":"Heidari Iman","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jaan","family":"Raik","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Maksim","family":"Jenihhin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gert","family":"Jervan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tara","family":"Ghasempouri","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","first-page":"545","article-title":"Goldrnine: automatic assertion generation using data mining and static analysis","author":"vasudevan","year":"0","journal-title":"Proc of ACM\/IEEE DATE"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2013.2241176"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2020.2999544"},{"key":"ref13","first-page":"557","article-title":"Engineering of an effective automatic assertion-based verification platform","author":"ghasempouri","year":"0","journal-title":"6th Workshop on Design Automation for Understanding Hardware Designs (DUHDe 2019)"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/VLSI-SoC.2019.8920331"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2010.5457129"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2013.2241176"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/VLSI-SoC.2015.7314438"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/ITC-Asia.2018.00021"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/DCIS.2018.8681487"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/NORCHIP.2018.8573495"},{"key":"ref27","year":"2017","journal-title":"Project bonfire network-on-chip"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-48153-2_21"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/ASPDAC.2017.7858327"},{"key":"ref5","first-page":"102867","volume":"71","author":"lai","year":"2019","journal-title":"Understanding multidimensional verification Where functional meets non-functional"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1145\/3061639.3062206"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/FDL.2019.8876892"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/ECCTD.2015.7300085"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/FDL.2019.8876941"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4020-8586-4"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2019.2921374"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/VLSI-SoC.2018.8644732"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2013.2241176"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/ETS.2012.6233020"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/ReCoSoC.2015.7238079"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1016\/0377-2217(88)90250-0"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/ISMSIT.2018.8567251"}],"event":{"name":"2021 IEEE Nordic Circuits and Systems Conference (NorCAS)","location":"Oslo, Norway","start":{"date-parts":[[2021,10,26]]},"end":{"date-parts":[[2021,10,27]]}},"container-title":["2021 IEEE Nordic Circuits and Systems Conference (NorCAS)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9599834\/9599641\/09599865.pdf?arnumber=9599865","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,5,10]],"date-time":"2022-05-10T16:50:57Z","timestamp":1652201457000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9599865\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,10,26]]},"references-count":27,"URL":"https:\/\/doi.org\/10.1109\/norcas53631.2021.9599865","relation":{},"subject":[],"published":{"date-parts":[[2021,10,26]]}}}