spyglass lint检查冗余等价路径，不会报错

jiodio

1、一根信号扇出两根逻辑等价的信号，在顶层集成的时候，通过例化模块，这两根信号连到了另一个模块的同一根输入信号。但是spyglass没有报多驱问题，我看检查手册中，只要不是三态逻辑，inout和黑盒，只要是两个驱动源驱动同一根信号就会报多驱问题。但是spyglass没有报错，并且在综合的时候报错了，就是因为是这一个冗余的逻辑等价路径，会有两根数据线。