Has anyone tried LEC? If yes, do I need to do anything else other than setting the LEC_ENABLE flag to 1 in config.tcl. I'm seeing errors when I run my design with LEC enabled.