文件名称:formal_verification
介绍说明--下载内容均来自于网络,请自行研究使用
现在最流行的RTL设计方法之一,本书为全球流行的设计入门书籍(One of the most popular RTL design methods nowadays, this book is an introductory book for popular design all over the world.)
(系统自动生成,下载前可以参看下载内容)
下载文件列表
文件名 | 大小 | 更新时间 |
---|---|---|
Formal Verification An Essential Toolkit for Modern VLSI Design.pdf | 11532175 | 2019-05-06 |