Graf Research Information

Graf Research produces assurance EDA for the world's most critical systems. The Enverité EDA suite contains features that provide design, verification, and auditing for the safety and security of FPGA-based applications. Enverité PV-Bit Bitstream Equivalence Checker verifies the logical and physical equivalence of the bitstream to the final netlist. Enverité Forge-DV Design and Verification Manager for adaptive SoC security empowers developers to produce designs meeting the highest levels of FPGA security. Enverité Trace Build Flow Archiver and Auditor automates reproducibility of the world's most critical FPGA designs.