I am aware [the following site](https://crocs-muni.github.io/ct-tools/) gives a table of constant time verification tools for hardware. What constant time verification tools exist to verify if a hardware implementation of a cryptosystem is constant-time (e.g. FPGA implementation prototyped in VHDL and being tested live on an FPGA)?