{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,21]],"date-time":"2026-04-21T23:15:00Z","timestamp":1776813300949,"version":"3.51.2"},"reference-count":24,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014,3]]},"DOI":"10.1109\/isqed.2014.6783379","type":"proceedings-article","created":{"date-parts":[[2014,4,16]],"date-time":"2014-04-16T21:24:16Z","timestamp":1397683456000},"page":"582-588","source":"Crossref","is-referenced-by-count":17,"title":["Assertion-based verification for system-level designs"],"prefix":"10.1109","author":[{"given":"Hassan","family":"Sohofi","sequence":"first","affiliation":[]},{"given":"Zainalabedin","family":"Navabi","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"19","doi-asserted-by":"publisher","DOI":"10.1109\/FMCAD.2008.ECP.26"},{"key":"22","year":"2013","journal-title":"Universal Verification Methodology"},{"key":"17","doi-asserted-by":"crossref","first-page":"199","DOI":"10.1145\/1278480.1278529","article-title":"verification methodologies in a tlm-to-rtl design flow","author":"kasuya","year":"2007","journal-title":"2007 44th ACM\/IEEE Design Automation Conference DAC"},{"key":"23","article-title":"Introducing uvm connect","volume":"8","author":"erickson","year":"2012","journal-title":"Mentor Graphics Verification Horizons"},{"key":"18","year":"0","journal-title":"JEDA TLM 2 0 Validation Suite"},{"key":"24","year":"0","journal-title":"Mentor Graphics ModelSim"},{"key":"15","first-page":"1","article-title":"ISIS: Runtime verification of TLM platforms","author":"ferro","year":"2009","journal-title":"FDL"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2010.5456991"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1109\/HLDVT.2006.319967"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-73370-6_14"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1145\/1960314.1960322"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1145\/2162024.2162029"},{"key":"21","doi-asserted-by":"publisher","DOI":"10.1109\/VLSID.2013.208"},{"key":"3","year":"2013","journal-title":"Accellera Standard OVL V2 Reference Manual Accellera Systems Initiative"},{"key":"20","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2006.243898"},{"key":"2","year":"2011","journal-title":"International technology roadmap for semiconductors (ITRS) Design"},{"key":"1","first-page":"1666","year":"2011","journal-title":"IEEE Standard"},{"key":"10","first-page":"1","article-title":"Verification of SystemC transaction level models using an aspect-oriented and generic approach","author":"kallel","year":"2010","journal-title":"DTIS"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2006.244076"},{"key":"6","first-page":"188","author":"vardi","year":"2007","journal-title":"Formal Techniques for SystemC Verification in DAC"},{"key":"5","volume":"1800","year":"2012","journal-title":"Specification and Verification Language IEEE Standard"},{"key":"4","first-page":"2010","volume":"1850","year":"0","journal-title":"IEEE Standard"},{"key":"9","first-page":"232","author":"niemann","year":"2006","journal-title":"Assertion-based Verification of Transaction Level Models"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1109\/TVLSI.2005.863187"}],"event":{"name":"2014 15th International Symposium on Quality Electronic Design (ISQED)","location":"Santa Clara, CA, USA","start":{"date-parts":[[2014,3,3]]},"end":{"date-parts":[[2014,3,5]]}},"container-title":["Fifteenth International Symposium on Quality Electronic Design"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6779216\/6783285\/06783379.pdf?arnumber=6783379","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,22]],"date-time":"2017-06-22T11:43:29Z","timestamp":1498131809000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6783379\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,3]]},"references-count":24,"URL":"https:\/\/doi.org\/10.1109\/isqed.2014.6783379","relation":{},"subject":[],"published":{"date-parts":[[2014,3]]}}}