{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,29]],"date-time":"2024-10-29T18:03:21Z","timestamp":1730225001558,"version":"3.28.0"},"reference-count":18,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2007,11]]},"DOI":"10.1109\/hldvt.2007.4392810","type":"proceedings-article","created":{"date-parts":[[2008,7,21]],"date-time":"2008-07-21T21:16:34Z","timestamp":1216674994000},"page":"171-178","source":"Crossref","is-referenced-by-count":1,"title":["Automating the IEEE std. 1500 compliance verification for embedded cores"],"prefix":"10.1109","author":[{"given":"A.","family":"Benso","sequence":"first","affiliation":[]},{"given":"S.","family":"Di Carlo","sequence":"additional","affiliation":[]},{"given":"P.","family":"Prinetto","sequence":"additional","affiliation":[]},{"given":"A.","family":"Bosio","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","article-title":"Towards an ieee p1500 verification infrastructure a comprehensive approach","author":"diamantidis","year":"2005","journal-title":"in Proc Club V"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/HLDVT.2007.4392810"},{"journal-title":"UML official website","year":"0","key":"ref12"},{"journal-title":"Specman elite home page","year":"0","key":"ref13"},{"journal-title":"Compiler Construction","year":"1996","author":"wirth","key":"ref14"},{"journal-title":"Jflex home page","year":"0","key":"ref15"},{"journal-title":"Cup home page","year":"0","key":"ref16"},{"journal-title":"Vera Web Site","year":"0","key":"ref17"},{"year":"2006","key":"ref18"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/2.769444"},{"year":"2005","key":"ref3"},{"year":"2005","key":"ref6"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/MM.2002.1044301"},{"key":"ref8","first-page":"39","article-title":"Platform to validate soc designs and methodologies targeting nanometer cmos technologies","author":"picchiotino","year":"2004","journal-title":"in Proc IP-SOC'04"},{"key":"ref7","article-title":"Etm 10 incorporates hardware segment of ieee p 1500","volume":"19","author":"mclaurin","year":"2002","journal-title":"IEEE Des Test Comput"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/TEST.1997.639613"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/54.632877"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/ATS.2001.990266"}],"event":{"name":"2007 IEEE International High Level Design Validation and Test Workshop (HLDVT '07)","start":{"date-parts":[[2007,11,7]]},"location":"Irvine, CA, USA","end":{"date-parts":[[2007,11,9]]}},"container-title":["2007 IEEE International High Level Design Validation and Test Workshop"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/4392771\/4392772\/04392810.pdf?arnumber=4392810","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,3,12]],"date-time":"2021-03-12T21:24:55Z","timestamp":1615584295000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/4392810\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,11]]},"references-count":18,"URL":"https:\/\/doi.org\/10.1109\/hldvt.2007.4392810","relation":{},"subject":[],"published":{"date-parts":[[2007,11]]}}}