Questa Verification Integrations

Precision offers a vendor-neutral approach to FPGA synthesis, delivering outstanding performance and efficient use of area while maintaining robust design features alongside strong integration with simulation and formal equivalence checking tools. Its products work harmoniously with Siemens' FormalPro LEC for equivalency verification and HDL Designer, which aids in design capture and verification when used alongside ModelSim/Questa. The entry-level tool, Precision RTL, stands out as a high-quality vendor-agnostic solution. In response to the specific demands of space and military aerospace industries, which typically require specialized FPGAs designed for inherent protection against single-event effects (SEEs), NanoXplore has introduced new FPGA solutions targeting this market. In collaboration with NanoXplore, Precision Synthesis has become the first to offer extensive synthesis support for the NG-Ultra device. Furthermore, Precision is compatible with the NXmap place and route tool, effectively covering the entire design workflow from RTL to gate level and ultimately generating the bitstream. This comprehensive integration not only simplifies the development process but also boosts the reliability of the end product, ensuring compliance with industry standards and specifications. Moreover, this synergy between tools enhances the overall efficiency of the design cycle, allowing engineers to focus more on innovation and less on compatibility issues.