|
This tutorial provides a quick getting-strated guide to Cadence Conformal logic equivalence checking. The basic flow is to input both an RTL netlist and a synthesized netlist and then have Conformal check whether both netlists are equal. Think of it as an LVS for Verilog. This is a powerful tool to get a formal proof that the output from Synthesis matches the original RTL code without having to run simulation
|
|
||||||||||||||||||||||||||||||||
|
|
|||||||||||||||||||||||||||||||||
|
|||||||||||||||||||||||||||||||||
