检索结果-维普期刊中文期刊服务平台

基于多项式符号代数方法的高层次数据通路的等价验证被引量：2: 1; 作者杨志马光胜张曙《计算机研究与发展》 EI CSCD 北大核心 2009年第3期513-520,共8页; 基于BDD或布尔SAT的等价验证方法虽然能够成功验证低层次门级电路,但却难以满足高层次设计验证要求.由此,以多项式符号代数为理论基础,提出了一个高层次数据通路的等价验证算法.深入研究了使用多项式表达式描述复杂数据通路行为的方法,... 展开更多; 关键词高层次数据通路等价验证多项式符号代数形式验证电子设计自动化; 在线阅读下载PDF 职称材料

基于Mining-SEC方法的电路等价性验证: 2; 作者王冠军童敏明 +1 位作者周勇赵莹《计算机工程》 CAS CSCD 2014年第1期301-304,共4页; 针对时序电路的等价性验证难题，提出基于Mining-SEC的定界等价性验证方法。将待验证时序电路按时间帧展开为多项式符号代数表示的电路集合，利用时间序列数据挖掘方法挖掘其中的不变量和相应的全局约束，不变量可以是任意多项式。此外... 展开更多; 关键词时间序列数据挖掘多项式符号代数时序电路等价性检验可满足性模理论虚假验证; 在线阅读下载PDF 职称材料

有限域上基于Grbner基的高级综合优化方法: 3; 作者王冠军赵莹王茂励《哈尔滨工业大学学报》 EI CAS CSCD 北大核心 2010年第7期1153-1157,共5页; 提出了基于多项式符号代数的高级综合方法,并使用元件库中的元件构建多项式符号代数所表示的数据通路,计算出其Grbner基.利用Grbner基对多项式进行一些基本操作,例如,多变元多项式分解、最大公因式提取、库单元映射等,从而实现了有... 展开更多; 关键词高级综合多项式符号代数 Grbner基有限域; 在线阅读下载PDF 职称材料

高级综合十年进展被引量：1: 4; 作者王冠军马光胜 +1 位作者刘晓晓李东海《计算机科学》 CSCD 北大核心 2007年第8期4-6,14,共4页; 介绍EDA领域中的一个重要方向高级综合最近十年的进展情况,并对以前的工作做了简单的回顾。对各个有代表性的算法进行了描述,并且对这些算法的基本思路进行了分析和总结。对最近出现的一些新的研究热点也进行了阐述和分析,并对以后的发... 展开更多; 关键词电子设计自动化高级综合高级测试综合多项式符号代数; 在线阅读下载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 职称材料

题名基于Mining-SEC方法的电路等价性验证: 2; 作者王冠军童敏明周勇赵莹; 机构中国矿业大学计算机科学与技术学院中国矿业大学信息与电气工程学院; 出处《计算机工程》 CAS CSCD 2014年第1期301-304,共4页; 基金国家自然科学基金资助项目(51104157) 中央高校基本科研业务费专项基金资助项目(2010NQA28) 国家大学生创业实践基金资助项目(201310290080); 文摘针对时序电路的等价性验证难题，提出基于Mining-SEC的定界等价性验证方法。将待验证时序电路按时间帧展开为多项式符号代数表示的电路集合，利用时间序列数据挖掘方法挖掘其中的不变量和相应的全局约束，不变量可以是任意多项式。此外还可挖掘电路中的不合法约束和复杂的多项式关系，通过以上方法可以明显降低求解空间。使用基于SMT的验证引擎检验电路等价性。实验结果表明，该方法可以快速地实现验证收敛，得到平均1-2．个量级的验证加速，并且可以有效消除虚假验证。; 关键词时间序列数据挖掘多项式符号代数时序电路等价性检验可满足性模理论虚假验证; Keywords time series data mining Polynomial Symbolic Algebra（PSA） Sequential Equivalence Checking（SEC） Satisfiablity ModuleTheory（SMT） false verification; 分类号 TP331 [自动化与计算机技术—计算机系统结构]; 在线阅读下载PDF 职称材料

题名有限域上基于Grbner基的高级综合优化方法: 3; 作者王冠军赵莹王茂励; 机构中国矿业大学计算机科学与技术学院山东省计算中心; 出处《哈尔滨工业大学学报》 EI CAS CSCD 北大核心 2010年第7期1153-1157,共5页; 基金国家自然科学基金资助项目(69973014) 中国矿业大学青年科研基金资助项目(2009A051); 文摘提出了基于多项式符号代数的高级综合方法,并使用元件库中的元件构建多项式符号代数所表示的数据通路,计算出其Grbner基.利用Grbner基对多项式进行一些基本操作,例如,多变元多项式分解、最大公因式提取、库单元映射等,从而实现了有限域上的数据通路优化.最后进行了算法复杂性分析和实验,实验在SUN工作站上通过调用Maple10来完成,实验结果证实了本方法的有效性.; 关键词高级综合多项式符号代数 Grbner基有限域; Keywords high level synthesis polynomial symbolic algebra（PSA） basis finite field; 分类号 TN401 [电子电信—微电子学与固体电子学]; 在线阅读下载PDF 职称材料

题名高级综合十年进展被引量：1: 4; 作者王冠军马光胜刘晓晓李东海; 机构哈尔滨工程大学计算机科学与技术学院; 出处《计算机科学》 CSCD 北大核心 2007年第8期4-6,14,共4页; 基金国家自然科学基金(No60273081) 哈尔滨工程大学基础研究基金(No04088); 文摘介绍EDA领域中的一个重要方向高级综合最近十年的进展情况,并对以前的工作做了简单的回顾。对各个有代表性的算法进行了描述,并且对这些算法的基本思路进行了分析和总结。对最近出现的一些新的研究热点也进行了阐述和分析,并对以后的发展做了一个展望。提出了一些待研究解决的问题。; 关键词电子设计自动化高级综合高级测试综合多项式符号代数; Keywords Electric design automation, High level synthesis, High level test synthesis,PSA; 分类号 TP271.82 [自动化与计算机技术—检测技术与自动化装置]; 在线阅读下载PDF 职称材料

	题名	作者	出处	发文年	被引量	操作
1	基于多项式符号代数方法的高层次数据通路的等价验证	杨志马光胜张曙	《计算机研究与发展》 EI CSCD 北大核心	2009	2	在线阅读下载PDF 职称材料
2	基于Mining-SEC方法的电路等价性验证	王冠军童敏明周勇赵莹	《计算机工程》 CAS CSCD	2014	0	在线阅读下载PDF 职称材料
3	有限域上基于Grbner基的高级综合优化方法	王冠军赵莹王茂励	《哈尔滨工业大学学报》 EI CAS CSCD 北大核心	2010	0	在线阅读下载PDF 职称材料
4	高级综合十年进展	王冠军马光胜刘晓晓李东海	《计算机科学》 CSCD 北大核心	2007	1	在线阅读下载PDF 职称材料