关于formality工具gui界面的使用

thecase · 发表于 2023-11-11 15:32:44

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

×

在formality工具debug阶段的patterns界面上，R和I后面的AS、SL、SD、AC这些分别代表什么意思呢？应该这样使用呢？

登录/注册后可看大图

flyskyseu · 发表于 2023-12-7 16:54:14

同问，这些pin表示什么意思

thecase · 发表于 2024-3-29 17:11:05

flyskyseu 发表于 2023-12-7 16:54
同问，这些pin表示什么意思

请教了一下公司的高工，可以按照综合里的SEQGEN理解，就是把逻辑锥统一例化成包含这些pin

的cell了，用这个模型来比lec。去年就问了，一直没来回复，不知道我记得还对不对，大概是这个意思。

flyskyseu · 发表于 2024-3-29 17:42:52

thecase 发表于 2024-3-29 17:11
请教了一下公司的高工，可以按照综合里的SEQGEN理解，就是把逻辑锥统一例化成包含这些pin

的cell了，用 ...

就是类似GTECH cell的pin？

账号		自动登录	找回密码
密码			注册

[求助] 关于formality工具gui界面的使用