Efficient and cost-effective functional verification strategies are more and more essential in digital integrated system design. This paper presents a low-cost approach to meet this challenge, introducing a universal hardware emulator designed for verifying various Intellectual Property (IP) cores on FPGA. We demonstrate the practicality and performance of this emulator through a use-case of verifying an advanced Integer Arithmetic Logic Unit (ALU) for the RISC-V ISA vector extension. The process of integration and the results obtained from the verification are presented and discussed. Preliminary findings indicate that the emulator can perform more than 1.1 million tests per second. This research contributes to the advancement of hardware verification techniques, providing researchers, universities, and small businesses with an accessible and effective solution.
A universal hardware emulator for verification IPs on FPGA: a novel and low-cost approach / Jamili, Saeid; Mastrandrea, Antonio; Cheikh, Abdallah; Barbirotta, Marcello; Menichelli, Francesco; Angioli, Marco; Olivieri, Mauro. - 1110 LNEE:(2024), pp. 36-41. (Intervento presentato al convegno International Conference on Applications in Electronics Pervading Industry, Environment and Society, APPLEPIES 2023 tenutosi a Genoa; Italy) [10.1007/978-3-031-48121-5_5].
A universal hardware emulator for verification IPs on FPGA: a novel and low-cost approach
Jamili, SaeidPrimo
;Mastrandrea, AntonioSecondo
;Cheikh, Abdallah;Barbirotta, Marcello;Menichelli, Francesco;Angioli, MarcoPenultimo
;Olivieri, MauroUltimo
2024
Abstract
Efficient and cost-effective functional verification strategies are more and more essential in digital integrated system design. This paper presents a low-cost approach to meet this challenge, introducing a universal hardware emulator designed for verifying various Intellectual Property (IP) cores on FPGA. We demonstrate the practicality and performance of this emulator through a use-case of verifying an advanced Integer Arithmetic Logic Unit (ALU) for the RISC-V ISA vector extension. The process of integration and the results obtained from the verification are presented and discussed. Preliminary findings indicate that the emulator can perform more than 1.1 million tests per second. This research contributes to the advancement of hardware verification techniques, providing researchers, universities, and small businesses with an accessible and effective solution.File | Dimensione | Formato | |
---|---|---|---|
Jamili_Universal_2024.pdf
solo gestori archivio
Tipologia:
Documento in Post-print (versione successiva alla peer review e accettata per la pubblicazione)
Licenza:
Tutti i diritti riservati (All rights reserved)
Dimensione
191.87 kB
Formato
Adobe PDF
|
191.87 kB | Adobe PDF | Contatta l'autore |
Jamili_Indice_Universal_2024.pdf
solo gestori archivio
Note: Indice e frontespizio
Tipologia:
Altro materiale allegato
Licenza:
Tutti i diritti riservati (All rights reserved)
Dimensione
1.45 MB
Formato
Adobe PDF
|
1.45 MB | Adobe PDF | Contatta l'autore |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.