Precision RTL, our entry-level FPGA synthesis product, offers best-in-class quality of results with a vendor-independent FPGA synthesis solution. It is tightly integrated with FormalPro LEC for equivalency checking and HDL Designer for design capture and design verification using ModelSim/Questa.