{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,8]],"date-time":"2026-04-08T16:37:40Z","timestamp":1775666260032,"version":"3.50.1"},"reference-count":13,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"3","license":[{"start":{"date-parts":[[2023,6,1]],"date-time":"2023-06-01T00:00:00Z","timestamp":1685577600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2023,6,1]],"date-time":"2023-06-01T00:00:00Z","timestamp":1685577600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2023,6,1]],"date-time":"2023-06-01T00:00:00Z","timestamp":1685577600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Des. Test"],"published-print":{"date-parts":[[2023,6]]},"DOI":"10.1109\/mdat.2022.3226709","type":"journal-article","created":{"date-parts":[[2022,12,20]],"date-time":"2022-12-20T18:44:06Z","timestamp":1671561846000},"page":"36-44","source":"Crossref","is-referenced-by-count":5,"title":["Functional Verification of a RISC-V Vector Accelerator"],"prefix":"10.1109","volume":"40","author":[{"given":"Victor","family":"Jimenez","sequence":"first","affiliation":[{"name":"Computer Sciences Department, Validation Team, Barcelona Supercomputing Center, Barcelona, Spain"}]},{"given":"Mario","family":"Rodriguez","sequence":"additional","affiliation":[{"name":"Computer Sciences Department, Validation Team, Barcelona Supercomputing Center, Barcelona, Spain"}]},{"given":"Marc","family":"Dominguez","sequence":"additional","affiliation":[{"name":"Computer Sciences Department, Validation Team, Barcelona Supercomputing Center, Barcelona, Spain"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-1983-0680","authenticated-orcid":false,"given":"Josep","family":"Sans","sequence":"additional","affiliation":[{"name":"Computer Sciences Department, Validation Team, Barcelona Supercomputing Center, Barcelona, Spain"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-2211-9996","authenticated-orcid":false,"given":"Ivan","family":"Diaz","sequence":"additional","affiliation":[{"name":"Computer Sciences Department, Validation Team, Barcelona Supercomputing Center, Barcelona, Spain"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-7458-477X","authenticated-orcid":false,"given":"Luca","family":"Valente","sequence":"additional","affiliation":[{"name":"Computer Sciences Department, Validation Team, Barcelona Supercomputing Center, Barcelona, Spain"}]},{"given":"Vito Luca","family":"Guglielmi","sequence":"additional","affiliation":[{"name":"Computer Sciences Department, Validation Team, Barcelona Supercomputing Center, Barcelona, Spain"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-1840-2855","authenticated-orcid":false,"given":"Josue V.","family":"Quiroga","sequence":"additional","affiliation":[{"name":"Computer Sciences Department, Validation Team, Barcelona Supercomputing Center, Barcelona, Spain"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-4523-0390","authenticated-orcid":false,"given":"R. Ignacio","family":"Genovese","sequence":"additional","affiliation":[{"name":"Computer Sciences Department, Validation Team, Barcelona Supercomputing Center, Barcelona, Spain"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-3125-6450","authenticated-orcid":false,"given":"Nehir","family":"Sonmez","sequence":"additional","affiliation":[{"name":"Computer Sciences Department, Validation Team, Barcelona Supercomputing Center, Barcelona, Spain"}]},{"given":"Oscar","family":"Palomar","sequence":"additional","affiliation":[{"name":"Computer Sciences Department, Validation Team, Barcelona Supercomputing Center, Barcelona, Spain"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-9848-8758","authenticated-orcid":false,"given":"Miquel","family":"Moreto","sequence":"additional","affiliation":[{"name":"Computer Sciences Department, Validation Team, Barcelona Supercomputing Center, Barcelona, Spain"}]}],"member":"263","reference":[{"key":"ref1","volume-title":"Universal Verification Methodology Standard Reference","year":"2022"},{"key":"ref2","volume-title":"Specifications\u2014RISC-V Vector Extension 0.7.1","author":"Amid","year":"2022"},{"key":"ref3","volume-title":"Specifications\u2014RISC-V Vector Extension 1.0","author":"Amid","year":"2022"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/TVLSI.2019.2950087"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4419-6600-1"},{"key":"ref6","volume-title":"Random Instruction Generator RISCV-DV","year":"2019"},{"key":"ref7","article-title":"Mastering reactive slaves in UVM","volume-title":"Proc. SNUG","author":"Litterick"},{"key":"ref8","volume-title":"LowRISC","year":"2022"},{"key":"ref9","volume-title":"OpenTitan Project","year":"2022"},{"key":"ref10","volume-title":"PULP-Platform Simulation Verification","year":"2022"},{"key":"ref11","volume-title":"Spike Repository","year":"2022"},{"key":"ref12","volume-title":"Open Vector Interface Specifications","year":"2022"},{"key":"ref13","volume-title":"Specifications\u2014RISC-V International","author":"Waterman","year":"2022"}],"container-title":["IEEE Design & Test"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6221038\/10106531\/09993792.pdf?arnumber=9993792","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,3,14]],"date-time":"2024-03-14T02:23:27Z","timestamp":1710383007000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9993792\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,6]]},"references-count":13,"journal-issue":{"issue":"3"},"URL":"https:\/\/doi.org\/10.1109\/mdat.2022.3226709","relation":{},"ISSN":["2168-2356","2168-2364"],"issn-type":[{"value":"2168-2356","type":"print"},{"value":"2168-2364","type":"electronic"}],"subject":[],"published":{"date-parts":[[2023,6]]}}}