Tags :LEC

General verification tips:– Take advantage of the different compare efforts (Low,Med, High, Super, Ultra, Complete).– Handling cell libraries – verify first the library cells andthen use one view for both golden and revised.– LEC parallel compare enables us to reduce thememory load per machine and sometimes it enablesto resolve abort points in that way.Comparing a design in one piece is harder thancomparing all the different pieces one by one.– Use the write hier_compare command to generate thehierarchical comparison script.– This technique is efficient and enables LEC to handlesmaller logic cones at each time.• Due to the nature of our design, LEC will abort when trying tocompare the huge combinational function (the abort point).• Note that recent versions of LEC reducedsignificantly...