数字硬件的形式化验证 [电子资源]


名称	数字硬件的形式化验证 [电子资源]

索引号
分类号	(\| 08 环境公报)
作者
出版社	, 2001
ISBN	7301053320
页数	269页
价格
标签	经典、
简介
注解	国家自然科学基金研究成果专著出版基金资助:本书介绍了形式化方法，数字硬件的规范描述和验证，高阶逻辑系统及其在硬件验证中的应用，模型检验，验证与综合系统VIS等内容。