菜鸟来问：做ATPG时需要读入的library文件是什么文件

greatao · 发表于 2021-9-8 11:50:44

std库目录下，会有个verilog文件夹，读里面的.v文件即可
mem文件夹下会有.tv文件，读入即可，也可以设置black box

是龟还是兔 · 发表于 2023-2-8 14:16:30

gxlong 发表于 2014-11-20 18:36
mentor的应该是先用libcomp命令将工艺库仿真的*.v转换后的atpg模型

大神，用mentor有.v转换为atpg model的脚本可以分享下吗？tessent atpg_model 的后缀是什么？

蕾兹曼 · 发表于 2023-11-23 10:19:03

我这边前辈给出的方案是mem设置黑盒，虽然report_modules -undefine还是会报出，但是不影响build，不过是以降低覆盖率为代价；lib是网表使用的工艺库有对应的Verilog文件，就是综合的时候xxx.db对应的Verilog文件，里面用verilog描述了器件的真值表或者逻辑功能，要是想读入模拟模型注意不要用-lib读入

[求助] 菜鸟来问：做ATPG时需要读入的library文件是什么文件

站长推荐 /2