asap7/cva6: Kepler LEC check off for now

CI's CTS stage stops in the Kepler LEC check: kepler-formal cannot load
the netlist, "cva6_icache_data_sram cannot be found in SNL", the macro
AUTO_MEMORIES makes of the I-cache data RAM. A new kepler-formal is in
the works; LEC_CHECK is 0 for cva6 until the Kepler team rewires it.

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_018PFLaCzFtFbnWE4nPTDwpC
Signed-off-by: Øyvind Harboe <oyvind.harboe@zylin.com>

Author: oharboe

flow/designs/asap7/cva6/config.mk

@@ -82,6 +82,11 @@ export SYNTH_VERILOG_SURGERY  = $(DESIGN_HOME)/$(PLATFORM)/cva6/surgery.py
 export AUTO_MEMORIES          = 1
 export ADDITIONAL_MEMORIES    = $(DESIGN_HOME)/$(PLATFORM)/cva6/cva6.memories
 
+# Kepler LEC off for now: kepler-formal stops on the macros AUTO_MEMORIES
+# makes ("cva6_icache_data_sram cannot be found"). A new kepler-formal is
+# in the works; the Kepler team rewires LEC for cva6 with it.
+export LEC_CHECK              = 0
+
 export SDC_FILE               = $(DESIGN_HOME)/$(PLATFORM)/$(DESIGN_NAME)/constraint.sdc
 
 export CORE_UTILIZATION       = 70