technický dokument
Questa Equivalent FPGA retargeting flow
Migrating obsolete FPGAs to newer technologies
The paper shares step-by-step descriptions of multiple retargeting methods tailored to various use cases:
Use case 1: Equivalence with RTL
In addition to proving the obsolete netlist against the new netlist, Questa Equivalent FPGA can prove the functional equivalence of the RTL to the obsolete netlist.
Use case 2: RTL retargeting
Using a new flow-settings command and formal models prepared for obsolete and new devices, Questa Equivalent FPGA can prove the equivalence of the obsolete netlist versus the new netlist synthesized using the RTL.
Use case 3: RTL-RTL retargeting
After proving equivalence of RTL versus the new netlist, the Questa Equivalent FPGA new flow-settings command can be used to prove the equivalence of the RTL with obsolete IPs versus the obsolete netlist.