高层次数据通路的等价性验证方法

• 作者: 李东海 胡靖 马光胜
• 来源期刊: 哈尔滨工程大学学报
• 学科: 工学
• 关键词: 字级多项式 带权值广义表 数据通路 等价验证
• 年，卷（期）: 2008,（6）
• 页码范围: 583-588
• 页数: 6页
• 分类号: TP391.7
• 字数: 3315字
• 语种: 中文
• DOI: 10.3969/j.issn.1006-7043.2008.06.010

摘要

为了实现多项式数据通路的初始算术规范与其相应的寄存器传输级实现之间的等价性验证,提出了一个有序的、简化的和正则的带权值广义表模型表达字级多项式,同时给出了该模型的化简、加法和乘法运算规则,基于这些规则对寄存器传输级电路构建其相应有序的、简化的和正则的带权值广义表模型.实验结果表明,该模型对寄存器传输级电路的等价性验证与*BMD相比,不论是在存储空间还是在CPU时间花费上均有明显的优势.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	马光胜	哈尔滨工程大学计算机科学与技术学院	74	240	8.0	12.0
2	李东海	哈尔滨工程大学计算机科学与技术学院	11	27	3.0	5.0
3	胡靖	哈尔滨工程大学计算机科学与技术学院	5	17	2.0	4.0