在formality 中出现NEQ 的时候,可以从以下几点来debug NEQ .
对于rtl code 中出现的full_case 和parallel_case 需要找designer 确认,并且在formalty flow 设置以下variable 即可set hdlin_ignore_parallel_case false ; set hdlin_ignore_full_case false
以下内容来自芯司机
形式验证进阶(二):Setup阶段的约束信息&说说formality中比较点匹配 (qq.com)