DFTC lab疑问

WKshang · 发表于 2022-7-14 15:22:04

马上注册，结交更多好友，享用更多功能，让你轻松玩转社区。

您需要登录才可以下载或查看，没有账号？注册

x

研究了一下DFTC lab，想把DFTC 的ATPG 用tessent 做，但是没有对应的lib库文件，libcomp也转不出来，有什么好的解决办法？

greatao · 发表于 2022-7-14 16:10:03

libcomp可以把仿真文件转换成tessent的库文件。
libcomp xxxx.verilog -dofile -log log_file
Tessent工具有安装目录下有自带的lab，可以用来学习！
打个广告，欢迎加入DFT知识星球！
https://t.zsxq.com/03baY3bU7

WKshang · 发表于 2022-7-14 17:06:35

greatao 发表于 2022-7-14 16:10
libcomp可以把仿真文件转换成tessent的库文件。
libcomp xxxx.verilog -dofile -log log_file
Tessent工具 ...

用libcomp我已经试了，报一堆error，也没什么脚本debug，然后就不知道怎么处理了

greatao · 发表于 2022-7-14 18:39:22

啥error，贴上来。

WKshang · 发表于 2022-7-15 09:32:26

greatao 发表于 2022-7-14 18:39
啥error，贴上来。

大多都是这种error,duplicated name

greatao · 发表于 2022-7-22 17:43:07

你这个不是仿真文件，而是tmax的库文件。

WKshang · 发表于 2022-8-2 10:52:52

greatao 发表于 2022-7-22 17:43
你这个不是仿真文件，而是tmax的库文件。

这种不能转是吗？但是没有tessent lib，这种怎么处理呢

xiaoquhengqilai · 发表于 2025-1-15 15:18:01

greatao 发表于 2022-7-22 17:43
你这个不是仿真文件，而是tmax的库文件。

我想转换的时候发现，我的.v也都是带有_tmax后缀的，这种不能转成tessent的格式是吗？
那是应该用.v或者.lib格式才能转是吗？

[求助] DFTC lab疑问

马上注册，结交更多好友，享用更多功能，让你轻松玩转社区。

浏览过的版块

站长推荐 /1