期刊文章详细信息
基于幂表的并行加法器的归纳验证 ( EI收录)
Inductive Verification of Powerlist-Based Carry Lookahead Adders
文献类型：期刊文章
机构地区：[1]华东理工大学计算机技术研究所
基 金：国家自然科学基金 (No 6990 30 0 4 ) ;教育部优秀青年教师资助计划 ;教育部科学技术研究重点项目 (No 0 1 0 77)
年 份：2003
卷 号：31
期 号：6
起止页码：932-936
语 种：中文
收录情况：BDHX、BDHX2000、CAS、CSA、CSA-PROQEUST、CSCD、CSCD2011_2012、EI、IC、INSPEC、JST、RCCSE、RSC、SCOPUS、ZGKJHX、核心刊
摘 要：介绍了基于幂表和重写规则的并行加法器的功能描述 ,直接使用重写归纳证明技术验证了这些描述的正确性 ,为重写技术用于描述和验证更加复杂的硬件电路奠定了基础 .
关 键 词：重写 归纳 加法器 描述 验证
分 类 号：TP332]
参考文献：
正在载入数据...
二级参考文献：
正在载入数据...
耦合文献：
正在载入数据...
引证文献：
正在载入数据...
二级引证文献：
正在载入数据...
同被引文献：
正在载入数据...
