Institutional Repository
| 基于幂表的并行加法器的归纳验证 | |
| Alternative Title | inductive verification of powerlist-based carry lookahead adders |
| 张欢欢; 邵志清; 宋国新 | |
| 2003 | |
| Source | 电子学报
 |
| ISSN | 0372-2112 |
| Volume | 31Issue:6Pages:932-936 |
| English Abstract | 介绍了基于幂表和重写规则的并行加法器的功能描述,直接使用重写归纳证明技术验证了这些描述的正确性,为重写技术用于描述和验证更加复杂的硬件电路奠定了基础. |
| Indexed Type | wanfang |
| Keyword | 重写 归纳 加法器 描述 验证 并行加法器 描述和验证 重写规则 硬件电路 技术验证 归纳证明 功能描述 基础 |
| Department | 华东理工大学计算机技术研究所,上海,200237;中国科学院软件研究所计算机科学重点实验室,北京,100080;华东理工大学计算机技术研究所,上海,200237;中国科学院软件研究所计算机科学重点实验室,北京,100080;华东理工大学计算机技术研究所,上海,200237 |
| Language | 中文 |
| Content Type | 期刊论文 |
| URI | http://ir.iscas.ac.cn/handle/311060/13102 |
| Collection | 中国科学院软件研究所 |
| Recommended Citation GB/T 7714 | 张欢欢,邵志清,宋国新. 基于幂表的并行加法器的归纳验证[J]. 电子学报,2003,31(6):932-936. |
| APA | 张欢欢,邵志清,&宋国新.(2003).基于幂表的并行加法器的归纳验证.电子学报,31(6),932-936. |
| MLA | 张欢欢,et al."基于幂表的并行加法器的归纳验证".电子学报 31.6(2003):932-936. |
| Files in This Item: | ||||||
| File Name/Size | DocType | Version | Access | License | ||
| 基于幂表的并行加法器的归纳验证.pdf（381KB） | 开放获取 | -- | Application Full Text | |||
Items in the repository are protected by copyright, with all rights reserved, unless otherwise indicated.
Edit Comment