Hardware Trojan Detection using Xilinx Vivado
Ryan Marlow, Scott Harper, Whitney Batchelor, Jonathan Graf · 2018
Modern commercial EDA tools provide end users with a framework for application specific customizations through a general-purpose programming language interface to an underlying circuit object model. Xilinx Vivado exposes that information through Tcl. This work demonstrates an implementation of a static hardware detection algorithm utilizing this interface of Vivado.