Formality形式验证问题
Formality形式验证问题在综合的时候把模拟模块当成黑盒子处理，模拟管脚PAD综合时有warning提示no match pad founa forXX_port......no pad will inserted....，用formality做RTL 和netlist的形式验证时，verify后在模拟管脚（即黑盒子输入）有failing。。。。
请问各位，模拟pad（包括电源及其他IO）在DC综合以及formality时应做怎样的设置和处理？？？
页:
[1]
