Graf Research® Corporation produces the Enverite® EDA suite, FPGA 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. The Graf Research mission is to perform research, provide services, apply analytics, and create products that enable secure and high-performance embedded and adaptive computing solutions.