基于幂表的并行加法器的归纳验证

• 作者: 宋国新 张欢欢 邵志清
• 来源期刊: 电子学报
• 学科: 工学
• 关键词: 重写 归纳 加法器 描述 验证
• 年，卷（期）: 2003,（6）
• 所属期刊栏目: 科研通信
• 页码范围: 932-936
• 页数: 5页
• 分类号: TP332
• 字数: 3885字
• 语种: 中文
• DOI: 10.3321/j.issn:0372-2112.2003.06.034

摘要

介绍了基于幂表和重写规则的并行加法器的功能描述,直接使用重写归纳证明技术验证了这些描述的正确性,为重写技术用于描述和验证更加复杂的硬件电路奠定了基础.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	张欢欢	华东理工大学计算机技术研究所	18	69	5.0	7.0
3	宋国新	华东理工大学计算机技术研究所	62	256	9.0	12.0
4	邵志清	华东理工大学计算机技术研究所	90	761	14.0	24.0