基于幂表的并行加法器的归纳验证
文献类型：期刊论文
| 作者 | 张欢欢 ; 邵志清 ; 宋国新 |
| 刊名 | 电子学报
 |
| 出版日期 | 2003 |
| 卷号 | 31期号:6页码:932-936 |
| 关键词 | 重写 归纳 加法器 描述 验证 并行加法器 描述和验证 重写规则 硬件电路 技术验证 归纳证明 功能描述 基础 |
| ISSN号 | 0372-2112 |
| 其他题名 | inductive verification of powerlist-based carry lookahead adders |
| 中文摘要 | 介绍了基于幂表和重写规则的并行加法器的功能描述,直接使用重写归纳证明技术验证了这些描述的正确性,为重写技术用于描述和验证更加复杂的硬件电路奠定了基础. |
| 收录类别 | wanfang |
| 语种 | 中文 |
| 公开日期 | 2011-07-29 |
| 源URL | [http://124.16.136.157/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. |
入库方式： OAI收割
来源：软件研究所
浏览0
下载0
收藏0
其他版本
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。