基于重写归纳技术的串行加法器的描述和验证

• 作者: 宋国新 张欢欢 邵志清
• 来源期刊: 华东理工大学学报(自然科学版)
• 学科: 工学
• 关键词: 重写 归纳 加法器 描述 验证
• 年，卷（期）: 2003,（1）
• 所属期刊栏目: 研究论文
• 页码范围: 59-63
• 页数: 5页
• 分类号: TP332
• 字数: 3892字
• 语种: 中文
• DOI: 10.3969/j.issn.1006-3080.2003.01.016

摘要

在用重写系统描述逻辑位、门电路、位串和自然数的基础上,对半加器、全加器和串行加法器等基本硬件电路的逻辑功能进行了刻画,并用基于重写归纳的推理技术证明了所有描述的正确性,为用重写技术正确描述和验证复杂硬件电路奠定了基础.最后给出与其他类似工作的分析和比较.

作者信息

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