Questa Equivalent FPGA: Assuring FPGA Integrity

Questa Equivalent RTL allows FPGA designers to utilize equivalency checking principles on FPGAs with access to vendor libraries allowing proper analysis of low-level primitives e.g. native RAM and DSP elements. The tool was recently explored at Northrop Grumman to verify the functional equivalence of firmware targeted to FPGAs from different vendors. We found that Questa Equivalent RTL’s ability to support FPGA device primitives to be incredibly useful and unique among similar industry tools.