使用Formality验证DC后的网表和APR后的网表时，怎么添加库文件？

aaronqi

   

四十五度向下 发表于 2024-8-6 10:42
好的，谢谢大家，一开始问这个问题是不知道APR用的库是不是跟我DC用的库一样，会不会器件结构不同。后面了 ...

我觉得，-r的用跟dc一样的lib；-i用跟apr一致的lib才是最稳妥的。