BESSPIN Halcyon, a tool for analyzing information leakage in Verilog code. - View it on GitHub