{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,10]],"date-time":"2026-07-10T09:16:22Z","timestamp":1783674982508,"version":"3.55.0"},"publisher-location":"New York, NY, USA","reference-count":5,"publisher":"ACM","license":[{"start":{"date-parts":[[2026,5,19]],"date-time":"2026-05-19T00:00:00Z","timestamp":1779148800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/legalcode"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2026,5,19]]},"DOI":"10.1145\/3801488.3806247","type":"proceedings-article","created":{"date-parts":[[2026,7,10]],"date-time":"2026-07-10T08:40:14Z","timestamp":1783672814000},"page":"180-186","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Verification and Validation (V&V)-in-Loop for RISC-V Chip Design: The Holistic Vision of BZL"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0009-0004-5992-1469","authenticated-orcid":false,"given":"Sajjad","family":"Ahmed","sequence":"first","affiliation":[{"name":"Barcelona Supercomputing Center, Barcelona, Spain"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0003-7044-6868","authenticated-orcid":false,"given":"Alexander","family":"Kropotov","sequence":"additional","affiliation":[{"name":"Barcelona Supercomputing Center, Barcelona, Spain"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-4523-0390","authenticated-orcid":false,"given":"Roberto Ignacio","family":"Genovese","sequence":"additional","affiliation":[{"name":"Barcelona Supercomputing Center, Bareclona, Spain"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0003-9453-4387","authenticated-orcid":false,"given":"Bernat","family":"Homs","sequence":"additional","affiliation":[{"name":"Barcelona Supercomputing Center, Bareclona, Spain"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0002-3205-8250","authenticated-orcid":false,"given":"Eloi","family":"Merino","sequence":"additional","affiliation":[{"name":"Barcelona Supercomputing Center, Bareclona, Spain"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0003-8794-0360","authenticated-orcid":false,"given":"Francesco","family":"Urbani","sequence":"additional","affiliation":[{"name":"Barcelona Supercomputing Center, Bareclona, Spain"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0007-8530-9603","authenticated-orcid":false,"given":"Francisco","family":"Duque","sequence":"additional","affiliation":[{"name":"Barcelona Supercomputing Center, Bareclona, Spain"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0006-7351-4557","authenticated-orcid":false,"given":"Henrique Massao Toshitsugu","family":"Yano","sequence":"additional","affiliation":[{"name":"Barcelona Supercomputing Center, Bareclona, Spain"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-2211-9996","authenticated-orcid":false,"given":"Iv\u00e1n","family":"D\u00edaz","sequence":"additional","affiliation":[{"name":"Barcelona Supercomputing Center, Bareclona, Spain"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0002-1667-4985","authenticated-orcid":false,"given":"Joan Gracia","family":"Fernandez","sequence":"additional","affiliation":[{"name":"Barcelona Supercomputing Center, Bareclona, Spain"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0004-7510-5074","authenticated-orcid":false,"given":"Matteo","family":"Toselli","sequence":"additional","affiliation":[{"name":"Barcelona Supercomputing Center, Bareclona, Spain"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0009-1065-6736","authenticated-orcid":false,"given":"Muhammad","family":"Imran","sequence":"additional","affiliation":[{"name":"Barcelona Supercomputing Center, Bareclona, Spain"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0008-5146-3175","authenticated-orcid":false,"given":"Muhammad Abu Bakar Umar Haider","family":"Iqbal","sequence":"additional","affiliation":[{"name":"Barcelona Supercomputing Center, Bareclona, Spain"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0000-5511-9891","authenticated-orcid":false,"given":"Nadeem","family":"Yaseen","sequence":"additional","affiliation":[{"name":"Barcelona Supercomputing Center, Bareclona, Spain"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0007-3008-5710","authenticated-orcid":false,"given":"Quswar Mahmood","family":"Abid","sequence":"additional","affiliation":[{"name":"Barcelona Supercomputing Center, Bareclona, Spain"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0006-3886-5722","authenticated-orcid":false,"given":"Shaista Rasool","family":"Cheema","sequence":"additional","affiliation":[{"name":"Barcelona Supercomputing Center, Bareclona, Spain"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0006-2195-8025","authenticated-orcid":false,"given":"Samuel","family":"Sanchez","sequence":"additional","affiliation":[{"name":"Barcelona Supercomputing Center, Bareclona, Spain"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0008-2272-0515","authenticated-orcid":false,"given":"Daniel","family":"Garcia","sequence":"additional","affiliation":[{"name":"Barcelona Supercomputing Center, Bareclona, Spain"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-1704-9364","authenticated-orcid":false,"given":"Joan","family":"Cabr\u00e9","sequence":"additional","affiliation":[{"name":"Barcelona Supercomputing Center, Bareclona, Spain"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0005-0156-8073","authenticated-orcid":false,"given":"Mostafa","family":"Elyasi","sequence":"additional","affiliation":[{"name":"Barcelona Supercomputing Center, Bareclona, Spain"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0005-5945-6461","authenticated-orcid":false,"given":"Fernando","family":"Ayats","sequence":"additional","affiliation":[{"name":"Barcelona Supercomputing Center, Bareclona, Spain"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-9848-8758","authenticated-orcid":false,"given":"Miquel","family":"Moreto","sequence":"additional","affiliation":[{"name":"Barcelona Supercomputing Center, Bareclona, Spain and Universitat Polit\u00e8cnica de Catalunya, Barcelona, Spain"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-7535-4821","authenticated-orcid":false,"given":"Teresa","family":"Cervero","sequence":"additional","affiliation":[{"name":"Barcelona Supercomputing Center, Bareclona, Spain"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-6729-4187","authenticated-orcid":false,"given":"Oscar","family":"Palomar","sequence":"additional","affiliation":[{"name":"Barcelona Supercomputing Center, Bareclona, Spain"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-4043-5044","authenticated-orcid":false,"given":"Behzad","family":"Salami","sequence":"additional","affiliation":[{"name":"Barcelona Supercomputing Center, Barcelona, Spain"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2026,7,10]]},"reference":[{"key":"e_1_3_3_2_2_2","volume-title":"Siemens EDA","author":"Foster Harry","year":"2020","unstructured":"Harry Foster. 2020. Wilson Research Group functional verification study- IC\/ASIC functional verification trend report. In Siemens EDA."},{"key":"e_1_3_3_2_3_2","unstructured":"Francesco Minervini and et al. 2023. Vitruvius+: An Area-Efficient RISC-V Decoupled Vector Coprocessor for High Performance Computing Applications. TACO (2023)."},{"key":"e_1_3_3_2_4_2","unstructured":"Oscar Palomar and et al. 2025. Verification of a RISC-V system with multiple cores. RISC-V Summit Europe (2025). https:\/\/riscv-europe.org\/summit\/2025\/media\/proceedings\/2025-05-14-RISC-V-Summit-Europe-P2.1.05-GENOVESE-poster.pdf"},{"key":"e_1_3_3_2_5_2","doi-asserted-by":"publisher","DOI":"10.1145\/3642921.3642928"},{"key":"e_1_3_3_2_6_2","unstructured":"Josue Quiroga and et al. 2022. Reusable Verification Environment for a RISC-V Vector Accelerator. DVCon Europe (2022). https:\/\/dvcon-proceedings.org\/wp-content\/uploads\/75395.pdf"}],"event":{"name":"CF '26 Companion: 23rd ACM International Conference on Computing Frontiers","location":"Catania Italy","acronym":"CF '26 Companion","sponsor":["SIGMICRO ACM Special Interest Group on Microarchitectural Research and Processing"]},"container-title":["Proceedings of the 23rd ACM International Conference on Computing Frontiers: Workshops and Special Sessions"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3801488.3806247","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,7,10]],"date-time":"2026-07-10T08:41:26Z","timestamp":1783672886000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3801488.3806247"}},"subtitle":["Invited Paper"],"short-title":[],"issued":{"date-parts":[[2026,5,19]]},"references-count":5,"alternative-id":["10.1145\/3801488.3806247","10.1145\/3801488"],"URL":"https:\/\/doi.org\/10.1145\/3801488.3806247","relation":{},"subject":[],"published":{"date-parts":[[2026,5,19]]},"assertion":[{"value":"2026-07-10","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}