版权声明：未经允许请不要转发 https://blog.csdn.net/qq_34110120/article/details/82146296
LEC检查过程中的问题主要分为两点：1.keypoint没有匹配成功2.组合逻辑不匹配
首先对于1.keypoint没有匹配成功 解决方案
对于这种问题出现的原因模块被优化，或者综合后的网表模块名字不匹配。对于名字不匹配的我们可以添加新的映射规则达到匹配的效果，对于被优化后的点不需要关注，只要保证相比对的一方全部点都匹配上就好。
对于组合逻辑不匹配：这个的匹配过程是对于逻辑锥的所有可能输入匹配输出结果是否一致，
比对过程中会会出现由于代码不规范而导致的综合错误，或者组合逻辑过于复杂导致运行时间过长而退出。