{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:12:54Z","timestamp":1750219974598,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":11,"publisher":"ACM","license":[{"start":{"date-parts":[[2022,10,21]],"date-time":"2022-10-21T00:00:00Z","timestamp":1666310400000},"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":[[2022,10,21]]},"DOI":"10.1145\/3569966.3570071","type":"proceedings-article","created":{"date-parts":[[2022,12,20]],"date-time":"2022-12-20T22:24:41Z","timestamp":1671575081000},"page":"363-369","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["Co-emulation verification system based on UVM architecture"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-1500-8403","authenticated-orcid":false,"given":"Hao","family":"Yan","sequence":"first","affiliation":[{"name":"Beijing Institute of Computer Technology and Applications, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-2863-9175","authenticated-orcid":false,"given":"Dongfang","family":"Li","sequence":"additional","affiliation":[{"name":"Beijing Institute of Computer Technology and Applications, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-0959-459X","authenticated-orcid":false,"given":"Jun","family":"Liang","sequence":"additional","affiliation":[{"name":"Beijing Institute of Computer Technology and Applications, China"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2022,12,20]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"A practical guide to adopting the Universal verification methodology[M]","author":"Sharon Rosenbarg","year":"2010","unstructured":"Sharon Rosenbarg . A practical guide to adopting the Universal verification methodology[M] . Candence Design Systems Inc . , 2010 : 5-9 Sharon Rosenbarg. A practical guide to adopting the Universal verification methodology[M]. Candence Design Systems Inc. , 2010: 5-9"},{"key":"e_1_3_2_1_2_1","volume-title":"Cadence Design Systems Inc. Mentor Graphlic Crop","author":"Accdlera Universal","year":"2011","unstructured":"Accdlera Universal verification methodology user's guide[M]. Cadence Design Systems Inc. Mentor Graphlic Crop , Synopsys Inc . , 2011 : 2-7. Accdlera Universal verification methodology user's guide[M]. Cadence Design Systems Inc. Mentor Graphlic Crop, Synopsys Inc. , 2011: 2-7."},{"key":"e_1_3_2_1_3_1","volume-title":"A decade of hardware\/software codesign. Computer. 2003","author":"Wolf W.","year":"2018","unstructured":"Wolf W. A decade of hardware\/software codesign. Computer. 2003 ; 36(4):38-43.Chelsea Finn. 2018 . Learning to Learn with Gradients. PhD Thesis, EECS Department, University of Berkeley . Wolf W. A decade of hardware\/software codesign. Computer. 2003; 36(4):38-43.Chelsea Finn. 2018. Learning to Learn with Gradients. PhD Thesis, EECS Department, University of Berkeley."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2011.2182009"},{"issue":"3","key":"e_1_3_2_1_5_1","first-page":"5","article-title":"Hardware-Software Cosynthesis for Digital Systems[J]","volume":"10","author":"Gupta R K","year":"2002","unstructured":"Gupta R K , Micheli G D . Hardware-Software Cosynthesis for Digital Systems[J] . IEEE Design & Test of Computers , 2002 , 10 ( 3 ): 5 - 17 . Gupta R K, Micheli G D. Hardware-Software Cosynthesis for Digital Systems[J]. IEEE Design & Test of Computers, 2002, 10(3):5-17.","journal-title":"IEEE Design & Test of Computers"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-09237-4"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1109\/54.970421"},{"volume-title":"Design Automation Conference","author":"Martin G.","key":"e_1_3_2_1_8_1","unstructured":"Martin G. Overview of the MPSoC design challenge.[J] . Design Automation Conference , 2006: 274-279. Martin G. Overview of the MPSoC design challenge.[J]. Design Automation Conference, 2006:274-279."},{"volume-title":"IEEE International Conference on Tools with Artificial Intelligence","author":"Tamura N","key":"e_1_3_2_1_9_1","unstructured":"Tamura N , Banbara M , Soh T , Compiling Pseudo-Boolean Constraints to SAT with Order Encoding[J]. IEEE International Conference on Tools with Artificial Intelligence , 2013:1020-1027. Tamura N, Banbara M, Soh T, Compiling Pseudo-Boolean Constraints to SAT with Order Encoding[J]. IEEE International Conference on Tools with Artificial Intelligence, 2013:1020-1027."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-54118-6_6"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/1721695.1721702"}],"event":{"name":"CSSE 2022: 2022 5th International Conference on Computer Science and Software Engineering","acronym":"CSSE 2022","location":"Guilin China"},"container-title":["Proceedings of the 5th International Conference on Computer Science and Software Engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3569966.3570071","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3569966.3570071","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T17:49:20Z","timestamp":1750182560000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3569966.3570071"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,10,21]]},"references-count":11,"alternative-id":["10.1145\/3569966.3570071","10.1145\/3569966"],"URL":"https:\/\/doi.org\/10.1145\/3569966.3570071","relation":{},"subject":[],"published":{"date-parts":[[2022,10,21]]},"assertion":[{"value":"2022-12-20","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}