BONUS TIP : Type "help whatsnew" in Conformal LEC version 7.1 and onwards to get all the new commands!
- - -
TIP OF THE MONTH : Reporting similarity between two designs
You may have two gate-level netlists that are from different stages of the design flow (for example: post-synthesis netlist and post-layout netlist).
Or you may have two netlists from different synthesis runs that are using different optimization techniques.
Or you may receive two netlist that you have no information about (such as two netlist, on that has been ECO'd).
Perhaps you have non-equivalents, or are experiencing long compare run times, maybe due to complex datapaths.
For whatever reason, your goal is to "measure" the similarity between two designs.
A method is to use Conformal LEC's new command: "report design similarity"
The measurement results are expressed as a % value between 0 and 100.
Design similarity is quantified by comparing the corresponding points between the two designs.
The two designs do not need to be equivalent in order to execute this command.
> REPORT DESIGN SIMILARITY (new command for LEC 7.1)
-means Revised design (design on right side) is used as reference.
-default is the above
-if you wish to target an instance
-default is the entire design
-execute command after switching to LEC mode.
-can be useful for debugging and profiling.
report design similarity -Golden -Instance mult* -this displays all the similarities between instances with this name.
-this is useful if you have components such as multipliers which you want to profile.
For even more detailed information, in LEC type:
> HELP DESIGN SIMILARITY
FEEDBACK from the Readers:
This is a new command which we think users will find creative uses for...
If so, please post your feedback to this thread. Thanks!
Some additional features for two equivalent netlists would be useful
1. DFF Counts, and the list of constant flops, merged flops to account for the difference in flop counts.
2. Instances per each module in the two verilog netlists