{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T09:03:20Z","timestamp":1725699800381},"reference-count":9,"publisher":"IEEE","license":[{"start":{"date-parts":[[2023,10,18]],"date-time":"2023-10-18T00:00:00Z","timestamp":1697587200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2023,10,18]],"date-time":"2023-10-18T00:00:00Z","timestamp":1697587200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["61877035"],"award-info":[{"award-number":["61877035"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2023,10,18]]},"DOI":"10.1109\/fie58773.2023.10343047","type":"proceedings-article","created":{"date-parts":[[2024,1,5]],"date-time":"2024-01-05T14:26:01Z","timestamp":1704464761000},"page":"1-5","source":"Crossref","is-referenced-by-count":0,"title":["Enhancing Evaluation and Feedback in Computer Organization Labs with an Automated RISC-V Processor Verification Framework"],"prefix":"10.1109","author":[{"given":"Yichuan","family":"Gao","sequence":"first","affiliation":[{"name":"Tsinghua University,Department of Computer Science and Technology,Beijing,China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ziang","family":"Liu","sequence":"additional","affiliation":[{"name":"Tsinghua University,Department of Computer Science and Technology,Beijing,China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Shanshan","family":"Li","sequence":"additional","affiliation":[{"name":"Tsinghua University,Department of Computer Science and Technology,Beijing,China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Weidong","family":"Liu","sequence":"additional","affiliation":[{"name":"Tsinghua University,Department of Computer Science and Technology,Beijing,China"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/TE.2011.2175227"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/13.925805"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/MTV.2014.13"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/VTEST.1999.766644"},{"volume-title":"Random instruction generator for risc-v processor verification","year":"2019","key":"ref5"},{"volume-title":"Fast verilog\/vhdl parser preprocessor and code generator for c++\/python based on antl4","year":"2016","key":"ref6"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1145\/3393527.3393531"},{"volume-title":"Spike, a risc-v isa simulator","year":"2011","author":"Waterman","key":"ref8"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.21236\/ada605735"}],"event":{"name":"2023 IEEE Frontiers in Education Conference (FIE)","start":{"date-parts":[[2023,10,18]]},"location":"College Station, TX, USA","end":{"date-parts":[[2023,10,21]]}},"container-title":["2023 IEEE Frontiers in Education Conference (FIE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/10342661\/10342889\/10343047.pdf?arnumber=10343047","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,1,11]],"date-time":"2024-01-11T20:40:01Z","timestamp":1705005601000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10343047\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,10,18]]},"references-count":9,"URL":"https:\/\/doi.org\/10.1109\/fie58773.2023.10343047","relation":{},"subject":[],"published":{"date-parts":[[2023,10,18]]}}}