芯片形式化验证原理、方法与实战-T 工业技术-安徽瀚文图书有限责任公司

芯片形式化验证原理、方法与实战

ISBN：9787111782681

价格：99

副题名：

分辑号：

分辑名：

主要著作者：王亮，谭永亮编著

发行地：北京

出版社：机械工业出版社

出版日期：2025

页码：13,286页

开本：24cm

丛书项：集成电路技术丛书

一般性附注：

读者对象：

主题词：芯片

中图法分类：TN43

装帧：

版次：

图表：

语种：chi

本书介绍了形式化验证的概念和原理，并通过丰富的实例展示了形式化验证所需的TCL和SVA语言语法规则，同时揭示了其在商业上的潜在价值和广阔前景。

关于我们

安徽瀚文图书有限责任公司成立于2006年，经安徽省工商部门注册登记，拥有国家新闻出版单位颁发的图书二级批发资质。集学校图书馆装备、高校教材订购、图书馆自动化管理系统安装、维护、图书防盗系统配备、图书编目服务、电子图书馆、校园一卡通建设一体的文化教育服务企业。

推购系统