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

liph123

   

wuenj 发表于 2024-5-24 10:22
3、tessent里的libcomp命令好像可以转换这样的格式，但是在转换的时候总是报错，也不知为什么，有没有大神 ...

你的dofile呢？-dofile后面要指定你写的dofile啊

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

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

liph123

   

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

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