{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,21]],"date-time":"2026-04-21T23:15:04Z","timestamp":1776813304456,"version":"3.51.2"},"reference-count":11,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011,9]]},"DOI":"10.1109\/ewdts.2011.6116412","type":"proceedings-article","created":{"date-parts":[[2012,1,6]],"date-time":"2012-01-06T14:28:21Z","timestamp":1325860101000},"page":"43-47","source":"Crossref","is-referenced-by-count":4,"title":["Simulation-based hardware verification with time-abstract models"],"prefix":"10.1109","author":[{"given":"Alexander","family":"Kamkin","sequence":"first","affiliation":[]}],"member":"263","reference":[{"key":"3","year":"2011","journal-title":"Wikipedia the Free Encyclopedia"},{"key":"2","author":"lam","year":"2005","journal-title":"Hardware Design Verification Simulation and Formal Method-Based Approaches"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1109\/BEC.2010.5631143"},{"key":"1","author":"bergeron","year":"2000","journal-title":"Writing Testbenches Functional Verification of HDL Models"},{"key":"7","year":"2011","journal-title":"Transaction-Level Modeling"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1109\/LATW.2011.5985902"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1145\/944645.944651"},{"key":"4","year":"2011","journal-title":"Abstraction (computer Science)"},{"key":"9","year":"0"},{"key":"8","year":"0"},{"key":"11","year":"0"}],"event":{"name":"Test Symposium (EWDTS)","location":"Sevastopol, Ukraine","start":{"date-parts":[[2011,9,9]]},"end":{"date-parts":[[2011,9,12]]}},"container-title":["2011 9th East-West Design & Test Symposium (EWDTS)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/6107929\/6116407\/06116412.pdf?arnumber=6116412","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,21]],"date-time":"2017-03-21T13:38:24Z","timestamp":1490103504000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6116412\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,9]]},"references-count":11,"URL":"https:\/\/doi.org\/10.1109\/ewdts.2011.6116412","relation":{},"subject":[],"published":{"date-parts":[[2011,9]]}}}