CAD for Assurance of Electronic Systems


By: Muhammad Arsath K F (IIT Madras), Vinod Ganesan (IIT Madras), Rahul Bodduna (IIT Madras), and Chester Rebeiro (IIT Madras)

Stage: RTL, HDL, Gate-Level


  • PLAN (Power attack Leakage ANalyzer) performs power side-channel analysis of digital circuit designs at the RTL or gate-level netlist stage.
  • PLAN performs a large number of behavioral simulations on the input design and collects the corresponding traces for a certain reference / oracle signal in the design, as well as the other signals in the design. Then, it applies statistical metrics on the collected traces to compute the correlation between each signal and the reference signal, which gives an estimate of the leakage score of each signal.
  • PLAN can be used for an early estimation of power side-channel vulnerability. However, for the correlation analysis to provide a reasonably accurate estimate of the leakage scores, a large number of simulations are required.


A V Lakshmy

Input/Output Interface

  • Input: Hardware design provided in RTL / Gate-level netlist (Verilog); A reference signal in the design
  • Output: A list of leakage scores for each signal in the design


Python 3, certain Python modules (tqdm, pyverilog, z3-solver, numpy, scipy, Verilog_VCD, pandas, matplotlib)

Licensing Info

BSD 3-Clause License Copyright (c) 2012-2020, IIT-Madras All rights reserved.


F, Muhammad Arsath K; Ganesan, Vinod; Bodduna, Rahul; Rebeiro, Chester

PARAM: A Microprocessor Hardened for Power Side-Channel Attack Resistance Journal Article

In: 2020 IEEE International Symposium on Hardware Oriented Security and Trust (HOST), 2020.

Links | BibTeX

User Guide Link can be found at this link