• Review the non-equivalence points. * lec.do: Conformal script (Note: The file "cells.v" is identical to the verilog simulation files in the OSU cell library, except for the DFFSR cells, which required a small modification to work with Conformal) Starting Conformal To start the tool, type lec at the command prompt. Logical Equivalence Check flow diagram. R1 vs LAY1 •Compare Golden PNR netlist with original RTL. But it should be possible to get it passing with Conformal as well. This should be clean. Conformal Lec User Manual Thank you unconditionally much for downloading conformal lec user manual.Maybe you have knowledge that, people have see numerous times for their favorite books in the manner of this conformal lec user manual, but end going on in harmful downloads. Fig-1. LEC comprises of three steps as shown below: Setup Mode, Mapping Mode and Compare Mode. There are various EDA tools for performing LEC, such as Synopsys Formality and Cadence Conformal. Conformal reported conformal lec script example Mostly likely, you have some multiplier in your design, or you have some other resource sharing (like sharing some adders). LAY1 vs G2 •Non-equivalence expected. C. chingchong. Maybe some additional constraints might be required. Once all are read in, next step is to do elaboration. For Conformal LEC, this would be done by using the commands like read library, add search path, read design etc. This should be clean. Elaboration stage will give warnings/messages about missing files, unsupported constructs etc. We are considering Conformal tool as a reference for the purpose of explaining the importance of LEC. You may need to fix those issues. Conformal ECO Steps R1 vs R2 • Compare LEC golden RTL and Modified RTL. If you are using DC to synthesize, it is preferred to use formality and not Conformal for formal verification. points: 2 Helpful Answer Positive Rating Jan 20, 2011; Mar 3, 2006 #3 P. peekpeek Newbie level 4. R2 vs G2 •New RTL with ECO fix compared with synthesized netlist of R2 for equivalence. Cadence Conformal equivalence checking library Hi, I am reading in the libraries to Cadence Conformal to do equivalence checking. The main window will look as follows: Reading the RTL netlist First we read in the original RTL netlist. Reactions: chingchong. If you have lec ultra license, you might have a chance to remove those abort points. Some of the unsupported files would come as blackboxes, like RAMs/memories etc.