不恢复余数阵列除法器的形式化描述和验证方法

• 作者: 宋国新 张欢欢
• 来源期刊: 计算机科学
• 学科: 工学
• 关键词: 重写 归纳 除法器 描述 验证
• 年，卷（期）: 2007,（6）
• 所属期刊栏目: 软件工程
• 页码范围: 283-285,291
• 页数: 4页
• 分类号: TP3
• 字数: 4149字
• 语种: 中文
• DOI: 10.3969/j.issn.1002-137X.2007.06.078

摘要

本文使用重写技术对不恢复余数阵列除法器进行了形式化描述并结合归纳法对该除法器的正确性进行了验证,整个工作是建立在串行加法器的描述和验证基础上的.不恢复余数阵列除法器的运算和控制有一定的复杂度,适合用大规模集成电路实现.本文成功地用重写归纳法对它进行了描述和验证,说明重写归纳法在硬件电路正确性验证方面有广阔的应用前景.

作者信息

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