有关tessent使用中的cell library相关问题

zhiwenhao

wuenj 发表于 2024-5-31 16:15
就是看了.tcelllib和.v文件里面的格式不一样，然后也不知道怎么搞，好像是缺少了`celldefine和`endcellde ...

我现在用的中芯国际的库，它的tcelllib的是atpg结尾的后缀文件，主要就是看model这个语法确定是不是tessent的文件。但是中芯国际这个文件里缺少定义，需要像上面说的那样补全。或者自己手动根据tessent手册里tcelllib的说明，也可以补。

wuenj

确实是的，我看了一下里面的内容，.atpg与.tcelllib的内容格式是一样的。大佬你说的那个添加定义，请问有什么技巧吗？

liph123

wuenj 发表于 2024-6-3 10:15
确实是的，我看了一下里面的内容，.atpg与.tcelllib的内容格式是一样的。大佬你说的那个添加定义，请问有什 ...

用tessent回读一下，下面这些写到一个dofile里

read_cell_library   a.atpg
read_liberty    a.lib
write_cell_library   a.tcellib -replace

然后执行
tessent -shell -dofile  run.do

wuenj

liph123 发表于 2024-6-3 13:21
用tessent回读一下，下面这些写到一个dofile里

read_cell_library   a.atpg

感谢大佬，从.atpg生成.tcelllib是会了。但是现在我没办法用libcomp把.v文件转换成.atpg文件，.v文件吃不进去，运行libcomp就报错，文件里的格式不对，大佬知道怎么改吗

liph123

wuenj 发表于 2024-6-4 08:36
感谢大佬，从.atpg生成.tcelllib是会了。但是现在我没办法用libcomp把.v文件转换成.atpg文件，.v文件吃不 ...

dofile内容如下：
add mode -all
set system mode translation
run
write  library  a.atpg -replace
然后libcomp运行上面的dofile
libcomp  a.v  -dof  a.do  -log  a.log  -replace

wuenj

liph123 发表于 2024-6-4 09:43
dofile内容如下：
add mode -all
set system mode translation

之前按照这个运行好几次都报错，这次运行又可以了。。。感谢大佬指点
大佬，他这个默认的验证工具是modelsim吗，他跑完之后准备验证，但是显示
model technology modelsim  。。。 error loading the design

// VERIFY ERROR: Error executing verification script.
//               See the log file: ./sim.log for more
//               information about the specific error.

liph123

wuenj 发表于 2024-6-4 15:08
之前按照这个运行好几次都报错，这次运行又可以了。。。感谢大佬指点
大佬，他这个默认的验证工具是model ...

默认应该是fastscan，不清楚你的报错是什么原因，可以去sim.log里看一下，里面有statistics report，coverage达到应该就可以了吧（个人猜测），仔细分析一下报错原因也行。也可以试试先不管验证的报错接着去生成tcellib，看一下结果怎么样。

wuenj

liph123 发表于 2024-6-5 09:52
默认应该是fastscan，不清楚你的报错是什么原因，可以去sim.log里看一下，里面有statistics report，cove ...

感谢大佬指导