Benefits of LEC Less reliance on gate level simulation. Boosted confidence in new tool revisions for synthesis and place & route. Watch-dog for poor RTL coding areas in the design. Nearly exhaustive ...