关于formal verification
实习期间有幸接触了一下VC formal,不得不说形式验证很强大,今日偶然又看到了老石讲formal的帖子,讲的很好,分享mark一下
另外他也推荐了一本关于formal的书:
《Formal Verification: An Essential Toolkit For Modern VLSI Design》,也准备读一读
《Formal Verification: An Essential Toolkit For Modern VLSI Design》,也准备读一读
相关推荐