在ic流程中怎么使用formal？
时间：10-02
整理：3721RD
点击：
大侠们提提意见啊?是作为验证的补充?还是怎么的?大侠们有没有什么好的建议，谢谢?
个人觉得只是补充
定位补充还是比较现实的，但是补充有有个清晰的界限，那些可有用formal覆盖掉，然后那些需要RTL验证覆盖,
划分的原则有哪些依据?
怎么加入到公司已有的iC流程中规范化?
你指的是 property checking 嗎?
可否有人說一下, 業界用 spec language 和 RTL 做 formal (PC) 的實現程度,
己經普及了嗎? 真的有人這樣做嗎?
是補充沒錯
用的越来越多了。可以看看Deepchip的讨论
http://www.deepchip.com/items/0534-05.html