关于formality分层次验证的问题

因为设计比较大，我dc综合是分层次综合的 做形式验证的时候我就也分层次验证了 底层per_bus验证通过 再做top层验证的时候我读的是top.svf文件 然后把per_bus设置为黑盒子 验证时 match倒是没有问题 但verify时 总是有88个比较点fail 但这88个失败点倒是和per_bus无关;我要是不设置per_bus为黑盒子 把top.svf和per_bus.svf文件都读进来 那原来验证通过的底层也验证失败 好像是per_bus.svf失效了。 我不知道是不是我验证的策略不对 还是确实是综合出问题了 照理说rtl到门级网表的验证应该没有问题才对， 请坛里的大侠帮忙分析一下 如果我的验证策略不对 请大侠帮忙给出正确的方案 非常感谢！

换lec的hier 比较看看，

手边没有lec

没人回复?