期刊导航
期刊开放获取
河南省图书馆
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
1
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式:
文摘
详细
列表
相关度排序
被引量排序
时效性排序
基于多项式符号代数方法的高层次数据通路的等价验证
被引量:
2
1
作者
杨志
马光胜
张曙
《计算机研究与发展》
EI
CSCD
北大核心
2009年第3期513-520,共8页
基于BDD或布尔SAT的等价验证方法虽然能够成功验证低层次门级电路,但却难以满足高层次设计验证要求.由此,以多项式符号代数为理论基础,提出了一个高层次数据通路的等价验证算法.深入研究了使用多项式表达式描述复杂数据通路行为的方法,...
基于BDD或布尔SAT的等价验证方法虽然能够成功验证低层次门级电路,但却难以满足高层次设计验证要求.由此,以多项式符号代数为理论基础,提出了一个高层次数据通路的等价验证算法.深入研究了使用多项式表达式描述复杂数据通路行为的方法,得到了高层次数据通路的多项式集合表示的一般形式.从多项式集合公共零点的角度定义了高层次数据通路的功能等价,给出了一个基于Grbner基计算的有效代数求解算法.针对不同基准数据通路的实验结果表明了该算法的有效性.
展开更多
关键词
高层次数据通路
等价验证
多项式符号代数
形式验证
电子设计自动化
下载PDF
职称材料
题名
基于多项式符号代数方法的高层次数据通路的等价验证
被引量:
2
1
作者
杨志
马光胜
张曙
机构
哈尔滨工程大学计算机科学与技术学院
哈尔滨工程大学信息与通信工程学院
出处
《计算机研究与发展》
EI
CSCD
北大核心
2009年第3期513-520,共8页
基金
国家自然科学基金项目(60273081)~~
文摘
基于BDD或布尔SAT的等价验证方法虽然能够成功验证低层次门级电路,但却难以满足高层次设计验证要求.由此,以多项式符号代数为理论基础,提出了一个高层次数据通路的等价验证算法.深入研究了使用多项式表达式描述复杂数据通路行为的方法,得到了高层次数据通路的多项式集合表示的一般形式.从多项式集合公共零点的角度定义了高层次数据通路的功能等价,给出了一个基于Grbner基计算的有效代数求解算法.针对不同基准数据通路的实验结果表明了该算法的有效性.
关键词
高层次数据通路
等价验证
多项式符号代数
形式验证
电子设计自动化
Keywords
high-level datapaths
equivalence verification
polynomial symbolic algebra
formalverification
electronic design automation
分类号
TP391.7 [自动化与计算机技术—计算机应用技术]
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
基于多项式符号代数方法的高层次数据通路的等价验证
杨志
马光胜
张曙
《计算机研究与发展》
EI
CSCD
北大核心
2009
2
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部