{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,1]],"date-time":"2026-04-01T14:20:16Z","timestamp":1775053216268,"version":"3.50.1"},"reference-count":8,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011,3]]},"DOI":"10.1109\/latw.2011.5985902","type":"proceedings-article","created":{"date-parts":[[2011,8,16]],"date-time":"2011-08-16T19:29:25Z","timestamp":1313522965000},"page":"1-6","source":"Crossref","is-referenced-by-count":7,"title":["A TLM-based approach to functional verification of hardware components at different abstraction levels"],"prefix":"10.1109","author":[{"given":"Mikhail","family":"Chupilko","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alexander","family":"Kamkin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref4","article-title":"Validation tools for complex digital designs","author":"ho","year":"1996"},{"key":"ref3","article-title":"Hardware design verification: simulation and formal method-based approaches","author":"lam","year":"2005"},{"key":"ref6","article-title":"OVM User Guide","year":"0"},{"key":"ref5","article-title":"Assertion-based design","author":"foster","year":"2004"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.15514\/SYRCOSE-2008-2-17"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/BEC.2010.5631143"},{"key":"ref2","first-page":"19","article-title":"Transaction level modeling: an overview","author":"cai","year":"0","journal-title":"International Conference on Hardware\/Software Codesign and System Synthesis (CODES+ISSS)"},{"key":"ref1","article-title":"Writing testbenches: functional verification of HDL models","author":"bergeron","year":"2000"}],"event":{"name":"2011 12th Latin American Test Workshop - LATW","location":"Beach of Porto de Galinhas, Brazil","start":{"date-parts":[[2011,3,27]]},"end":{"date-parts":[[2011,3,30]]}},"container-title":["2011 12th Latin American Test Workshop (LATW)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/5978853\/5985882\/05985902.pdf?arnumber=5985902","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,21]],"date-time":"2017-03-21T06:42:37Z","timestamp":1490078557000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/5985902\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,3]]},"references-count":8,"URL":"https:\/\/doi.org\/10.1109\/latw.2011.5985902","relation":{},"subject":[],"published":{"date-parts":[[2011,3]]}}}