Graf Research® Corporation produces the Enverite® EDA suite, assurance tools for security and functional safety. The Enverite® EDA suite contains features that provide verification and auditing of FPGA build flows. Enverite® PV-Bit™ verification evaluates the equivalence of an FPGA Bitstream and its physical netlist. Enverite® Trace™ archiver creates and verifies a tamper-evident auditable digital thread as a design traverses the build flow. Enverite® Retrace™ auditor authenticates and verifies integrity of a Trace™ digital thread and enables automated reproduction of the traced build.