书籍 数字硬件的形式化验证的封面

数字硬件的形式化验证

韩俊刚 杜慧敏著(西安邮电学院)

出版社

北京:北京大学出版社

出版时间

2001

ISBN

7301053320

标注页数

269 页

PDF页数

283 页

书籍介绍
国家自然科学基金研究成果专著出版基金资助:本书介绍了形式化方法,数字硬件的规范描述和验证,高阶逻辑系统及其在硬件验证中的应用,模型检验,验证与综合系统VIS等内容。
在线购买PDF电子书