What is "logical equivalence checking" (LEC) used for when comparing an RTL description to a synthesized gate-level netlist?
Correct! Well done.
Incorrect.
The correct answer is A) LEC formally proves (or identifies discrepancies) that the gate-level netlist produced by synthesis (and subsequent optimizations) is functionally equivalent to the original RTL description, without requiring exhaustive simulation
Correct Answer
LEC formally proves (or identifies discrepancies) that the gate-level netlist produced by synthesis (and subsequent optimizations) is functionally equivalent to the original RTL description, without requiring exhaustive simulation
After synthesis, placement, and various optimizations, LEC mathematically verifies that the resulting gate-level netlist computes the same functions as the original RTL (for all inputs), catching potential synthesis tool bugs or unintended behavioral changes without needing to simulate every possible scenario.