用VCS做后仿，反标sdf的问题

lolina · 发表于 2024-5-29 19:14:53

Victor_2333_ 发表于 2024-4-28 10:33
我最近也遇到了这样的问题，但是我的库model里没有recrem的检查语句，只有recovery的语句，但是sdf文件里的 ...

跟后端反馈一下，pt有选项可以设置的，不用setuphold就行了

wyfcb98 · 发表于 2024-7-18 16:05:24

Victor_2333_ 发表于 2024-4-28 10:33
我最近也遇到了这样的问题，但是我的库model里没有recrem的检查语句，只有recovery的语句，但是sdf文件里的 ...

可以跟后端反映一下，他们导出sdf的时候可以选择是用2.1版本的sdf还是3.0版本的sdf，在2.1版本的sdf当中就不会有recrem了

Victor_2333_ · 发表于 2024-8-5 09:10:54

wyfcb98 发表于 2024-7-18 16:05
可以跟后端反映一下，他们导出sdf的时候可以选择是用2.1版本的sdf还是3.0版本的sdf，在2.1版本的sdf当中 ...

谢谢

lgs4903483 · 发表于 2025-4-27 20:53:33

jake 发表于 2020-11-14 10:33
在 VCS 命令行加上 -define NTC -define RECREM 应该就可以了。
也可能是 +define+NTC +define+RECREM. V ...

请问大佬 t22 memory的v model里面有setuphold(edge）但是sdf 写不出这种格式的，导致反标不上，请问这种怎么解决？

lgs4903483 · 发表于 2025-4-27 20:59:44

高瞻forever 发表于 2020-12-4 14:35
首先，STA是基于sdc约束分析的；
其次，FV 只是做功能一致性验证；
最后，gate_sim是进一步动态的确 ...

请问大佬 t22 memory的v model里面有setuphold(edge）但是sdf 写不出这种格式的，导致反标不上，请问这种怎么解决？

jake · 发表于 2025-4-28 01:21:16

本帖最后由 jake 于 2025-4-27 11:24 编辑

lgs4903483 发表于 2025-4-27 06:53
请问大佬 t22 memory的v model里面有setuphold(edge）但是sdf 写不出这种格式的，导致反标不上，请问这 ...

Innovus, Tempus可以加选项
write_sdf -version 3.0 -setuphold merge_always ...

其他工具应该有类似选项

lgs4903483 · 发表于 2025-4-28 22:22:53

jake 发表于 2025-4-28 01:21
Innovus, Tempus可以加选项
write_sdf -version 3.0 -setuphold merge_always ...

我们是用pt 写的sdf，-include {SETUPHOLD RECREM} 但是memory model里面有setuphold（edge）关键是这种edge匹配不上，请问应该加哪种选项？万分感谢

[解决] 用VCS做后仿，反标sdf的问题