IC验证前沿和方向是啥?

liuyuanhuiHUST · 发表于 2025-1-17 15:17:27

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

x

AI? PSL? 大佬们,有什么想法?

小欢喜 · 发表于 2025-1-23 18:05:56

我也想知道

saipolo · 发表于 2025-1-24 10:27:48

PSL这种语言很老了吧，属于老掉牙的东西，随着硬件能力提升，在形式验证领域要迎来第二春了？

liuyuanhuiHUST · 发表于 2025-1-24 13:36:47

saipolo 发表于 2025-1-24 10:27
PSL这种语言很老了吧，属于老掉牙的东西，随着硬件能力提升，在形式验证领域要迎来第二春了？ ...

确实，形式化验证不少公司在推

[讨论] IC验证前沿和方向是啥?