formality乘法器验证 aborted
时间：10-02
整理：3721RD
点击：
模块中有个乘法器，formality 验证时，该乘法器 aborted,不知该怎么解决这个问题
跑仿真对比就好了。