formality 吃内存
时间：10-02
整理：3721RD
点击：
formality 知道了我全部24G内存， 做的事RTL to netlist的验证 ，有没有什么后的策略，做分别验证?
正常，我都换成64G机器了。
你注意设置为function模式，比如scan_mode, mbist_mode这些设置为无效，这可以节省很多时间。
记得svf要读入哦，亲。
Normally, Use Server to run！
非常感谢，我试试看！