Forum Discussion
JJohn10
New Contributor
New ContributorWhy is the LEC (Logic Equivalent Check) needed in the FPGA Flow?
Why is the LEC (Logic Equivalent Check) needed in the FPGA Flow? There is no a P&R stage (as in ASIC flow)... Is it not enough just to check the logs and reports of the synthesis tools in order to...
JJohn10New Contributor
New ContributorSo, as for the LEC tools, could you please provide an example when LEC can help (catch some bugs) while other tools are useless?
As for the FPGA flow, are LEC tools just involved in the RTL vs Netlist compare? What about verification of the mapped design (Netlist vs ma)?
Is there a post-mapped Netlist in FPGA (including timing information of the mapped design)?
How do I extract Pre-Mapped and Post-Mapped Netlists from Quartus?
