CAD for Assurance of Electronic Systems

CAD4Analog-Capacitor: CAD Tools for Analog/Capacitor Trojan Detection

By: Xiaolong Guo and Yier Jin

Stage: RTL


  • A model-driven and holistic framework to systematically detect and localize hardware vulnerabilities induced by charge-domain analog effects and behaviors in the digital domain.
  • An Information-flow tracking (IFT) based tool for automating the analog vulnerability detection.
  • Initial results show detection accuracy of 100% without false positive.


Yier Jin

Input/Output Interface

  • Input: Transistor-level layout data files
  • Output: Whether there is a charge-sharing Trojan in the transistor-level layout


  • Python environment


Guo, Xiaolong; Zhu, Huifeng; Jin, Yier; Zhang, Xuan

When Capacitors Attack: Formal Method Driven Design and Detection of Charge-Domain Trojans Proceedings Article

In: 2019 Design, Automation Test in Europe Conference Exhibition (DATE), pp. 1727-1732, IEEE, 2019, (Best Paper Award).

Abstract | Links | BibTeX


  • This work was partially supported by Army Research Office (W911NF-17-1-0477), Cisco and the National Science Foundation (CNS-1657562)