{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T16:41:19Z","timestamp":1725468079781},"reference-count":8,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013,12]]},"DOI":"10.1109\/idt.2013.6727111","type":"proceedings-article","created":{"date-parts":[[2014,1,31]],"date-time":"2014-01-31T18:35:43Z","timestamp":1391193343000},"page":"1-3","source":"Crossref","is-referenced-by-count":0,"title":["A novel approach for functional verification of memory protocol standard"],"prefix":"10.1109","author":[{"given":"Omar","family":"Samir","sequence":"first","affiliation":[]},{"given":"Moustafa","family":"Kassem","sequence":"additional","affiliation":[]},{"given":"Mohammed","family":"Sameh","sequence":"additional","affiliation":[]},{"given":"Sarah","family":"Aly","sequence":"additional","affiliation":[]},{"given":"Mohamed","family":"Rizk","sequence":"additional","affiliation":[]},{"given":"Mohamed","family":"Abdelsalam","sequence":"additional","affiliation":[]},{"given":"Ashraf","family":"Salem","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"3","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4419-0968-8"},{"year":"0","key":"2"},{"key":"1","article-title":"Writing testbenches using systemVerilog","author":"bergeron","year":"2006","journal-title":"First editioin"},{"journal-title":"SystemVerilog Language Reference Manual","year":"2004","author":"accellera","key":"7"},{"journal-title":"Creating Assertion-Based IP","year":"2010","author":"foster","key":"6"},{"year":"0","key":"5"},{"year":"0","key":"4"},{"year":"0","key":"8"}],"event":{"name":"2013 Design and Test Symposium (IDT)","start":{"date-parts":[[2013,12,16]]},"location":"Marrakesh, Morocco","end":{"date-parts":[[2013,12,18]]}},"container-title":["2013 8th IEEE Design and Test Symposium"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6717187\/6727071\/06727111.pdf?arnumber=6727111","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,22]],"date-time":"2017-03-22T18:12:05Z","timestamp":1490206325000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6727111\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,12]]},"references-count":8,"URL":"https:\/\/doi.org\/10.1109\/idt.2013.6727111","relation":{},"subject":[],"published":{"date-parts":[[2013,12]]}}}