菜鸟来问：做ATPG时需要读入的library文件是什么文件
时间：10-02
整理：3721RD
点击：
各位：
刚开始学ATPG，第一步是读入netlist，这个没有疑问。第二步是读入library model。然后我就不明白是什么样的model了。user guide里面只是简单提了一句：verilog library models referenced by your design。举例也只是用*.v。工艺库的话，我用 “read_netlist -library ../smic13g.v" 好像可以，但是memory的话，该用什么呢，是用memory compiler 产生的 *.v文件，还是什么其他的文件呢?
恩，补充一下，用memory compiler产生的.v文件试了一下，read_netlist的时候只是有warning：Rule N2（unsupported construct）was violated 22 times。而run_build_model 的时候，就有Error说，Memory has no write ports and no init file。这是为什么呢?
刚开始学ATPG，第一步是读入netlist，这个没有疑问。第二步是读入library model。然后我就不明白是什么样的model了。user guide里面只是简单提了一句：verilog library models referenced by your design。举例也只是用*.v。工艺库的话，我用 “read_netlist -library ../smic13g.v" 好像可以，但是memory的话，该用什么呢，是用memory compiler 产生的 *.v文件，还是什么其他的文件呢?
恩，补充一下，用memory compiler产生的.v文件试了一下，read_netlist的时候只是有warning：Rule N2（unsupported construct）was violated 22 times。而run_build_model 的时候，就有Error说，Memory has no write ports and no init file。这是为什么呢?
应该是rtl的model吧
MEM在run_build之前，全部设成black box 然后再run_build
具体指令：
set_build -black_box MEM***(your memory module name)
哥也刚开始学,目前还不懂,先路过
不懂，旁听
我也遇到了。不知道小编解决没有，求请教
mentor的应该是先用libcomp命令将工艺库仿真的*.v转换后的atpg模型
小编现在解决了么?
不懂，旁听
同问，这个问题