TY  - RPRT
TI  - Verification and Validation (V&V)-in-the-Loop for RISC-V Design: The Holistic Vision of BZL
AU  - Sajjad Ahmed
AU  - Alexander Kropotov
AU  - Roberto Ignacio Genovese
AU  - Bernat Homs
AU  - Eloi Merino
AU  - Francesco Urbani
AU  - Henrique Yano
AU  - Iván Díaz
AU  - Joan Gracia Fernandez
AU  - Matteo Toselli
AU  - Muhammad Imran
AU  - Muhammad Abu Bakar Umar Haider Iqbal
AU  - Nadeem Yaseen
AU  - Quswar Abid
AU  - Shaista Cheema
AU  - Samuel Sanchez
AU  - Daniel Garcia
AU  - Joan Cabré
AU  - Mostafa Elyasi
AU  - Fernando Ayats
AU  - Miquel Moreto
AU  - Teresa Cervero
AU  - Oscar Palomar
AU  - Behzad Salami
PY  - 2026
UR  - https://arxiv.org/abs/2604.27013
ID  - 2604.27013
ER  -