{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T08:07:43Z","timestamp":1725523663548},"reference-count":23,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016,10]]},"DOI":"10.1109\/ewdts.2016.7807632","type":"proceedings-article","created":{"date-parts":[[2017,1,9]],"date-time":"2017-01-09T16:42:59Z","timestamp":1483980179000},"page":"1-7","source":"Crossref","is-referenced-by-count":0,"title":["ESL design with RTL-verified predesigned abstract communication channels"],"prefix":"10.1109","author":[{"given":"Hamed Najafi","family":"Haghi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mikhail","family":"Chupilko","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alexander","family":"Kamkin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zainalabedin","family":"Navabi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"journal-title":"Verification Methodology Manual for SystemVerilog","year":"2006","author":"bergeron","key":"ref10"},{"journal-title":"Open Verification Methodology","article-title":"Mentor Graphics","year":"0","key":"ref11"},{"journal-title":"Universal Verification Methodology","year":"0","key":"ref12"},{"journal-title":"Open Verification Library","year":"2009","key":"ref13"},{"key":"ref14","article-title":"A technique for adding functional coverage to SystemC","author":"schwartz","year":"2007","journal-title":"Design and Verification Conference (DVCON)"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1145\/1016568.1016592"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/HLDVT.2004.1431224"},{"journal-title":"Assertion-Based Verification","year":"0","key":"ref17"},{"key":"ref18","article-title":"Functional Coverage-driven Verification with SystemC on Multiple Level of Abstraction","author":"kuznik","year":"2011","journal-title":"Design and Verification Conference (DVCON)"},{"year":"2005","key":"ref19"},{"journal-title":"Reference Verification Methodology User Guide","year":"2005","key":"ref4"},{"journal-title":"Verisity Design e Reuse Methodology Developer Manual","year":"2002","key":"ref3"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1007\/978-0-387-69958-5"},{"journal-title":"OpenVERA Technology Backgrounder","year":"2001","key":"ref5"},{"journal-title":"Universal Reuse Methodology","year":"0","key":"ref8"},{"journal-title":"SystemC Verification Library v1 0p2","year":"2006","key":"ref7"},{"year":"0","key":"ref2"},{"key":"ref1","article-title":"An Introduction to Signal Detection and Estimation","author":"iman","year":"2004","journal-title":"The e Hardware Verification Language"},{"journal-title":"Advanced Verification Methodology","year":"0","key":"ref9"},{"key":"ref20","article-title":"ISIS: Runtime Verification of TLM Platforms","author":"ferro","year":"2009","journal-title":"Proceedings Forum on Specification & Design Languages"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/LATW.2011.5985902"},{"journal-title":"RTL+ Design Environment Walk Before You Run","year":"2014","author":"pourmohseni","key":"ref21"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.4204\/EPTCS.111.6"}],"event":{"name":"2016 IEEE East-West Design & Test Symposium (EWDTS)","start":{"date-parts":[[2016,10,14]]},"location":"Yerevan, Armenia","end":{"date-parts":[[2016,10,17]]}},"container-title":["2016 IEEE East-West Design & Test Symposium (EWDTS)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7794989\/7807620\/07807632.pdf?arnumber=7807632","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,1,21]],"date-time":"2017-01-21T00:13:55Z","timestamp":1484957635000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7807632\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,10]]},"references-count":23,"URL":"https:\/\/doi.org\/10.1109\/ewdts.2016.7807632","relation":{},"subject":[],"published":{"date-parts":[[2016,10]]}}}