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.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.
https://hdl.handle.net/11583/2999568