关于formal verification

实习期间有幸接触了一下VC formal,不得不说形式验证很强大,今日偶然又看到了老石讲formal的帖子,讲的很好,分享mark一下
另外他也推荐了一本关于formal的书:

Formal Verification: An Essential Toolkit For Modern VLSI Design》,也准备读一读

全部评论

相关推荐

评论
点赞
收藏
分享

创作者周榜

更多
牛客网
牛客企业服务