| 基于幂表的并行加法器的归纳验证 |
| 其他题名 | inductive verification of powerlist-based carry lookahead adders
|
| 张欢欢; 邵志清; 宋国新
|
| 2003
|
| 发表期刊 | 电子学报
 |
| ISSN | 0372-2112
|
| 卷号 | 31期号:6页码:932-936 |
| 摘要 | 介绍了基于幂表和重写规则的并行加法器的功能描述,直接使用重写归纳证明技术验证了这些描述的正确性,为重写技术用于描述和验证更加复杂的硬件电路奠定了基础. |
| 收录类别 | wanfang
|
| 关键词 | 重写
归纳
加法器
描述
验证
并行加法器
描述和验证
重写规则
硬件电路
技术验证
归纳证明
功能描述
基础
|
| 部门归属 | 华东理工大学计算机技术研究所,上海,200237;中国科学院软件研究所计算机科学重点实验室,北京,100080;华东理工大学计算机技术研究所,上海,200237;中国科学院软件研究所计算机科学重点实验室,北京,100080;华东理工大学计算机技术研究所,上海,200237
|
| 语种 | 中文
|
| 内容类型 | 期刊论文
|
| URI标识 | http://ir.iscas.ac.cn/handle/311060/13102
|
| 专题 | 中国科学院软件研究所
|
推荐引用方式
GB/T 7714 |
张欢欢,邵志清,宋国新. 基于幂表的并行加法器的归纳验证[J]. 电子学报,2003,31(6):932-936.
|
| APA |
张欢欢,邵志清,&宋国新.(2003).基于幂表的并行加法器的归纳验证.电子学报,31(6),932-936.
|
| MLA |
张欢欢,et al."基于幂表的并行加法器的归纳验证".电子学报 31.6(2003):932-936.
|
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。
修改评论