在ic流程中怎么使用formal？

qmdong · 发表于 2014-3-3 23:21:08

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

x

大侠们提提意见啊？是作为验证的补充？还是怎么的？大侠们有没有什么好的建议，谢谢？

jacobshen · 发表于 2014-3-4 09:31:55

个人觉得只是补充

qmdong · 发表于 2014-3-4 22:44:52

回复 2# jacobshen

定位补充还是比较现实的，但是补充有有个清晰的界限，那些可有用formal覆盖掉，然后那些需要RTL验证覆盖,
划分的原则有哪些依据？
怎么加入到公司已有的iC流程中规范化？

kuolifeng · 发表于 2014-3-5 12:23:17

你指的是 property checking 嗎?
可否有人說一下, 業界用 spec language 和 RTL 做 formal (PC) 的實現程度,
己經普及了嗎? 真的有人這樣做嗎?

jab · 发表于 2014-3-21 11:17:02

是補充沒錯

nativeda · 发表于 2014-4-1 11:49:15

用的越来越多了。可以看看Deepchip的讨论
http://www.deepchip.com/items/0534-05.html

[求助] 在ic流程中怎么使用formal？