DRC的rule file问题

蔚蓝 · 发表于 2024-12-3 09:45:05

请问下这个STEP 0.38是什么意思，这个INTERACT后面不带数字的情况下是怎么运算的，还有这个NOT为什么放在括号里最前面？

登录/注册后可看大图

yuxidaliumang · 发表于 2024-12-3 09:45:06

第一个不知道，interact就是 a interact b,得到与b有接触的a,不需要数字啊，not a b 应该和a not b 等效

蔚蓝 · 发表于 2024-12-3 09:50:10

蔚蓝 · 发表于 2024-12-3 14:22:53

yuxidaliumang 发表于 2024-12-3 14:07
第一个不知道，interact就是 a interact b,得到与b有接触的a,不需要数字啊，not a b 应该和a not b 等效 ...

也就是说这样interact相当于取交集嘛

yuxidaliumang · 发表于 2024-12-3 14:37:22

蔚蓝发表于 2024-12-3 14:22
也就是说这样interact相当于取交集嘛

登录/注册后可看大图

design 里面都有啊，

蔚蓝 · 发表于 2024-12-3 15:58:50

yuxidaliumang 发表于 2024-12-3 14:37
design 里面都有啊，

奥奥，懂了懂了谢谢

八云紫 · 发表于 2025-7-21 16:30:45

yuxidaliumang 发表于 2024-12-3 09:45
第一个不知道，interact就是 a interact b,得到与b有接触的a,不需要数字啊，not a b 应该和a not b 等效 ...

a 完全包含b，a interact b算真还是假？

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

[求助] DRC的rule file问题