{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:24:25Z","timestamp":1750307065706,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":16,"publisher":"ACM","license":[{"start":{"date-parts":[[2012,10,7]],"date-time":"2012-10-07T00:00:00Z","timestamp":1349568000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2012,10,7]]},"DOI":"10.1145\/2380445.2380495","type":"proceedings-article","created":{"date-parts":[[2012,10,9]],"date-time":"2012-10-09T12:20:46Z","timestamp":1349785246000},"page":"305-306","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Testbenches for advanced TLM verification"],"prefix":"10.1145","author":[{"given":"Wolfgang","family":"Mueller","sequence":"first","affiliation":[{"name":"University of Paderborn\/C-LAB, Paderborn, Germany"}]},{"given":"Wolfgang","family":"Ecker","sequence":"additional","affiliation":[{"name":"Infineon Technologies AG, Neubiberg, Germany"}]}],"member":"320","published-online":{"date-parts":[[2012,10,7]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"May","author":"Accellera Organization Inc.","year":"2012","unstructured":"Accellera Organization Inc. Universal Verification Methodology (UVM) , May 2012 . www.uvmworld.org. Accellera Organization Inc. Universal Verification Methodology (UVM), May 2012. www.uvmworld.org."},{"key":"e_1_3_2_1_2_1","volume-title":"Verification Methodology Manual for SystemVerilog","author":"Bergeron J.","year":"2008","unstructured":"J. Bergeron Verification Methodology Manual for SystemVerilog . Springer , 2008 . J. Bergeron et al. Verification Methodology Manual for SystemVerilog. Springer, 2008."},{"volume-title":"February, 2009.","author":"Inc.","key":"e_1_3_2_1_3_1","unstructured":"Cadence Design Systems, Inc. OVM-SC Library Reference Version 2.0.1 , February, 2009. Cadence Design Systems, Inc. OVM-SC Library Reference Version 2.0.1, February, 2009."},{"key":"e_1_3_2_1_4_1","unstructured":"Cadence Design Systems Inc. Universal Reuse Methodology (URM). www.cadence.com.  Cadence Design Systems Inc. Universal Reuse Methodology (URM). www.cadence.com."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/2380445.2380496"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/2380445.2380499"},{"key":"e_1_3_2_1_7_1","volume-title":"Standard for the Functional Verification Language e","author":"IEEE Computer Society","year":"2011","unstructured":"IEEE Computer Society . Standard for the Functional Verification Language e . IEEE Std 1647-- 2011 , 2011. IEEE Computer Society. Standard for the Functional Verification Language e. IEEE Std 1647--2011, 2011."},{"key":"e_1_3_2_1_8_1","volume-title":"IEEE Standard for Property Specification Language (PSL) - IEEE Std 1850--2010","author":"IEEE Computer Society","year":"2010","unstructured":"IEEE Computer Society . IEEE Standard for Property Specification Language (PSL) - IEEE Std 1850--2010 , 2010 . IEEE Computer Society. IEEE Standard for Property Specification Language (PSL) - IEEE Std 1850--2010, 2010."},{"key":"e_1_3_2_1_9_1","volume-title":"IEEE Standard for SystemVerilog - Unified Hardware Design, Specification, and Verification Language - IEEE Std 1800--2009","author":"IEEE Computer Society","year":"2009","unstructured":"IEEE Computer Society . IEEE Standard for SystemVerilog - Unified Hardware Design, Specification, and Verification Language - IEEE Std 1800--2009 , 2009 . IEEE Computer Society. IEEE Standard for SystemVerilog - Unified Hardware Design, Specification, and Verification Language - IEEE Std 1800--2009, 2009."},{"key":"e_1_3_2_1_10_1","volume-title":"Standard SystemC Language Reference Manual","author":"IEEE Computer Society","year":"2011","unstructured":"IEEE Computer Society . Standard SystemC Language Reference Manual . IEEE Std 1666-- 2011 , 2011. IEEE Computer Society. Standard SystemC Language Reference Manual. IEEE Std 1666--2011, 2011."},{"key":"e_1_3_2_1_11_1","unstructured":"Mentor Graphics. Advanced Verification Methodology (AVM). www.mentor.com.  Mentor Graphics. Advanced Verification Methodology (AVM). www.mentor.com."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/2380445.2380497"},{"key":"e_1_3_2_1_13_1","volume-title":"SystemC Verification Library v1.0p2","author":"Initiative C","year":"2006","unstructured":"Open System C Initiative . SystemC Verification Library v1.0p2 , 2006 . Open SystemC Initiative. SystemC Verification Library v1.0p2, 2006."},{"key":"e_1_3_2_1_14_1","unstructured":"OVM Homepage. www.ovmworld.org.  OVM Homepage. www.ovmworld.org."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/2380445.2380498"},{"key":"e_1_3_2_1_16_1","volume-title":"SystemC Simulation on GP-GPUs: CUDA vs. OpenGL. CODES+ISSS","author":"Vinco S.","year":"2012","unstructured":"S. Vinco SystemC Simulation on GP-GPUs: CUDA vs. OpenGL. CODES+ISSS 2012 , Tampere , FL , 2012. S. Vinco et al. SystemC Simulation on GP-GPUs: CUDA vs. OpenGL. CODES+ISSS 2012, Tampere, FL, 2012."}],"event":{"name":"ESWEEK'12: Eighth Embedded System Week","sponsor":["CEDA","SIGBED ACM Special Interest Group on Embedded Systems","SIGDA ACM Special Interest Group on Design Automation","IEEE CAS","SIGMICRO ACM Special Interest Group on Microarchitectural Research and Processing","IEEE CS"],"location":"Tampere Finland","acronym":"ESWEEK'12"},"container-title":["Proceedings of the eighth IEEE\/ACM\/IFIP international conference on Hardware\/software codesign and system synthesis"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2380445.2380495","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2380445.2380495","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T09:21:21Z","timestamp":1750238481000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2380445.2380495"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,10,7]]},"references-count":16,"alternative-id":["10.1145\/2380445.2380495","10.1145\/2380445"],"URL":"https:\/\/doi.org\/10.1145\/2380445.2380495","relation":{},"subject":[],"published":{"date-parts":[[2012,10,7]]},"assertion":[{"value":"2012-10-07","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}