formality使用求助

Qzzz123

我想使用vivado综合后的网表与之前的RTL进行验证，应该是需要读取DB文件，但是vivado综合



的DB文件找不到，这个大家有尝试过吗，该怎么解决，求助求助~~~~~

A1985

fpga、
就没有要formal了，浪费时间。