Leakage assessment at the Register Transfer Level (RTL) is essential for identifying vulnerabilities in various designs, including cryptographic systems, AI models, and other applications handling sensitive data during the design phase. This paper introduces VeriSide, an innovative framework built as a modified version of Verilator to generate compact format files that directly capture side-oriented information, such as Hamming Distance (HD) or Hamming Weight (HW) of the signals. VeriSide streamlines the power side-channel (PSC) analysis process by providing efficient and scalable solutions for large-scale designs. Traditional methods relying on verbose Value Change Dump (VCD) or Switching Activity Interchange Format (SAIF) files face significant scalability and resource challenges, especially for complex systems-on-chip (SoCs). These methods incur substantial storage and processing overheads. VeriSide overcomes these limitations by drastically reducing file size and eliminating post-simulation memory usage, while maintaining analysis accuracy.

Late Contribution: VeriSide: A Modified Verilator for Leakage Assessment at the RTL Level / Farnaghinejad, Behnam; Porsia, Antonio; Ruospo, Annachiara; Savino, Alessandro; Di Carlo, Stefano; Sanchez, Ernesto. - (2025), pp. 1-2. (Intervento presentato al convegno 26th IEEE Latin American Test Samposium 2025 tenutosi a San Andres Islas (COL) nel 11-14 March 2025) [10.1109/lats65346.2025.10963943].

Late Contribution: VeriSide: A Modified Verilator for Leakage Assessment at the RTL Level

Farnaghinejad, Behnam;Porsia, Antonio;Ruospo, Annachiara;Savino, Alessandro;Di Carlo, Stefano;Sanchez, Ernesto
2025

Abstract

Leakage assessment at the Register Transfer Level (RTL) is essential for identifying vulnerabilities in various designs, including cryptographic systems, AI models, and other applications handling sensitive data during the design phase. This paper introduces VeriSide, an innovative framework built as a modified version of Verilator to generate compact format files that directly capture side-oriented information, such as Hamming Distance (HD) or Hamming Weight (HW) of the signals. VeriSide streamlines the power side-channel (PSC) analysis process by providing efficient and scalable solutions for large-scale designs. Traditional methods relying on verbose Value Change Dump (VCD) or Switching Activity Interchange Format (SAIF) files face significant scalability and resource challenges, especially for complex systems-on-chip (SoCs). These methods incur substantial storage and processing overheads. VeriSide overcomes these limitations by drastically reducing file size and eliminating post-simulation memory usage, while maintaining analysis accuracy.
2025
978-1-6654-7763-5
File in questo prodotto:
File Dimensione Formato  
LATS2025_IRIS.pdf

accesso aperto

Tipologia: 2. Post-print / Author's Accepted Manuscript
Licenza: Pubblico - Tutti i diritti riservati
Dimensione 134.17 kB
Formato Adobe PDF
134.17 kB Adobe PDF Visualizza/Apri
Late_Contribution_VeriSide_A_Modified_Verilator_for_Leakage_Assessment_at_the_RTL_Level.pdf

accesso riservato

Tipologia: 2a Post-print versione editoriale / Version of Record
Licenza: Non Pubblico - Accesso privato/ristretto
Dimensione 180.9 kB
Formato Adobe PDF
180.9 kB Adobe PDF   Visualizza/Apri   Richiedi una copia
Pubblicazioni consigliate

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11583/2999568