书目详细信息
： 数字硬件的形式化验证
书目信息 机读格式(MARC)
| ISBN/价格： | 7-301-05332-0:CNY18.00 |
|---|---|
| 作品语种： | chi |
| 出版国别： | CN 110000 |
| 题名责任者项： | 数字硬件的形式化验证/.韩俊刚，杜慧敏[著] |
| 出版发行项： | 北京:,北京大学出版社:,2001 |
| 载体形态项： | 269页:;+21cm |
| 丛编项： | 国家自然科学基金研究专著.信息科学系列 |
| 一般附注： | 国家自然科学基金研究成果专著出版基金资助 |
| 提要文摘： | 本书介绍了形式化方法，数字硬件的规范描述和验证，高阶逻辑系统及其在硬件验证中的应用，模型检验，验证与综合系统VIS等内容。 |
| 分集： | 信息科学系列 |
| 题名主题： | 集成电路 自动检测系统 |
| 题名主题： | 集成电路 |
| 题名主题： | 自动检测系统 |
| 中图分类： | TP274 |
| 个人名称等同： | 韩俊刚 著 |
| 个人名称等同： | 杜慧敏 著 |
| 记录来源： | CN SWUFE 20030530 |