| 题名: | 基于幂表的并行加法器的归纳验证 |
| 其他题名: | inductive verification of powerlist-based carry lookahead adders
|
| 作者: | 张欢欢
; 邵志清
; 宋国新
|
| 关键词: | 重写
; 归纳
; 加法器
; 描述
; 验证
; 并行加法器
; 描述和验证
; 重写规则
; 硬件电路
; 技术验证
; 归纳证明
; 功能描述
; 基础
|
| 刊名: | 电子学报
|
| 发表日期: | 2003
|
| 卷: | 31, 期:6, 页:932-936 | | 收录类别: | wanfang
|
| 部门归属: | 华东理工大学计算机技术研究所,上海,200237;中国科学院软件研究所计算机科学重点实验室,北京,100080;华东理工大学计算机技术研究所,上海,200237;中国科学院软件研究所计算机科学重点实验室,北京,100080;华东理工大学计算机技术研究所,上海,200237
|
| 摘要: | 介绍了基于幂表和重写规则的并行加法器的功能描述,直接使用重写归纳证明技术验证了这些描述的正确性,为重写技术用于描述和验证更加复杂的硬件电路奠定了基础. |
| 语种: | 中文
|
| 内容类型: | 期刊论文
|
| URI标识: | http://ir.iscas.ac.cn/handle/311060/13102
|
| Appears in Collections: | 软件所图书馆_期刊论文
|
| File Name/ File Size |
Content Type |
Version |
Access |
License |
|
|---|
| 基于幂表的并行加法器的归纳验证.pdf（381KB） | -- | -- | 限制开放 | -- | 联系获取全文 |
|
| Recommended Citation: | |
张欢欢,邵志清,宋国新. 基于幂表的并行加法器的归纳验证[J]. 电子学报,2003-01-01,31(6):932-936.
|
|
|
