{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,4]],"date-time":"2026-06-04T21:05:23Z","timestamp":1780607123385,"version":"3.54.1"},"publisher-location":"New York, NY, USA","reference-count":11,"publisher":"ACM","license":[{"start":{"date-parts":[[2018,10,22]],"date-time":"2018-10-22T00:00:00Z","timestamp":1540166400000},"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":[[2018,10,22]]},"DOI":"10.1145\/3207677.3277944","type":"proceedings-article","created":{"date-parts":[[2018,10,18]],"date-time":"2018-10-18T10:19:29Z","timestamp":1539857969000},"page":"1-5","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["FAL-based High Reusability and Automated Verification Platform"],"prefix":"10.1145","author":[{"given":"Tingrong","family":"Zhang","sequence":"first","affiliation":[{"name":"College of Computer, National University of Defense Technology, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Shuming","family":"Chen","sequence":"additional","affiliation":[{"name":"College of Computer, National University of Defense Technology, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Zhao","family":"Lv","sequence":"additional","affiliation":[{"name":"College of Computer, National University of Defense Technology, China"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2018,10,22]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","unstructured":"R. K. Ranjan C. Coelho and S. Skalberg. 2009. Beyond verifcation: leveraging formal for debugging. In Proceedings of the 46th Annual Design Automation Conference ser. DAC '09 648--651. 10.1145\/1629911.1630082","DOI":"10.1145\/1629911.1630082"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.5555\/961903"},{"key":"e_1_3_2_1_3_1","volume-title":"Formal specification and verification of ARM6. Theorem Proving in Higher Order Logics","author":"Fox A.","unstructured":"Fox A. 2003. Formal specification and verification of ARM6. Theorem Proving in Higher Order Logics. Rome, 25--40."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","unstructured":"Leroy X. 2009. Formal verification of a realistic compiler. Communications of the ACM 107--115 10.1145\/1538788.1538814","DOI":"10.1145\/1538788.1538814"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1109\/SEFM.2009.14"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/2744769.2744921"},{"key":"e_1_3_2_1_7_1","first-page":"92","article-title":"A Study on Bus-based Reusable Verification Platform","volume":"5","author":"Wenfa Zhan","year":"2006","unstructured":"Zhan Wenfa, Li Li, Cheng Zuoren and Zhang Shuo. 2006. A Study on Bus-based Reusable Verification Platform. Application of Electronic Technique. 5, 92--96.","journal-title":"Application of Electronic Technique."},{"key":"e_1_3_2_1_8_1","volume-title":"SoC Design Conference. ISOCC2012","author":"Kim N.","unstructured":"N. Kim, Y.-N. Yun, Y.-R. Cho, J. B. Kim, and B. Min. 2012. How toautomate millions lines of top-level uvm testbench and handle huge register classes. In SoC Design Conference. ISOCC2012, 405--407."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICAM.2017.8242181"},{"key":"e_1_3_2_1_10_1","volume-title":"UVM Shi Zhan","author":"Zhang Qiang","unstructured":"Qiang Zhang. 2014. UVM Shi Zhan. China Machine Press, Beijing, Chapter 2--9."},{"key":"e_1_3_2_1_11_1","volume-title":"2016 IEEE International Conference on ASIC.","author":"Ni Wei","year":"2016","unstructured":"Wei Ni, Jichun Zhang. 2016. Research of reusability based on UVM verification. 2016 IEEE International Conference on ASIC."}],"event":{"name":"CSAE '18: The 2nd International Conference on Computer Science and Application Engineering","location":"Hohhot China","acronym":"CSAE '18"},"container-title":["Proceedings of the 2nd International Conference on Computer Science and Application Engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3207677.3277944","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3207677.3277944","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,6,4]],"date-time":"2026-06-04T20:43:37Z","timestamp":1780605817000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3207677.3277944"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,10,22]]},"references-count":11,"alternative-id":["10.1145\/3207677.3277944","10.1145\/3207677"],"URL":"https:\/\/doi.org\/10.1145\/3207677.3277944","relation":{},"subject":[],"published":{"date-parts":[[2018,10,22]]},"assertion":[{"value":"2018-10-22","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}