期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
共找到2篇文章
< 1 >
每页显示 20 50 100
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
显示方式：
基于GrO¨bner基方法的乘法器等价性验证
1
作者 张璇思 刘佳姝 江建国 《应用数学进展》 2021年第1期343-350,共8页
乘法器的等价性验证目前仍是大规模算术集成电路设计领域内的一大难题。本文利用逻辑门与多项式之间的对应关系,构建了乘法器的代数模型,将乘法器等价性验证问题转化成理想成员判定问题,然后再用计算机代数系统中的Gr&#246;bner基... 乘法器的等价性验证目前仍是大规模算术集成电路设计领域内的一大难题。本文利用逻辑门与多项式之间的对应关系,构建了乘法器的代数模型,将乘法器等价性验证问题转化成理想成员判定问题,然后再用计算机代数系统中的Gr&#246;bner基方法进行求解。提出了一种对乘法器结构进行切片后再采用增量式验证的新方法。在Linux平台上的计算机代数系统Mathematica上所做的实验结果也表明了该方法的有效性。 展开更多
关键词 GrO style=" margin-left:-10px ">¨bner基 等价性验证 整数乘法器 增量式验证 切片
下载PDF
Gro¨ bner基方法验证乘法器的Maple实现
2
作者 刘佳姝 张璇思 江建国 《应用数学进展》 2020年第11期1908-1915,共8页
乘法器电路验证问题是一项极其重要而又极具挑战性的难题。当前主流的方法是先将其建模成交换代数中的理想成员问题,然后使用Mathematica、Singular等计算机代数系统中的Gr&#246;bner基方法进行判定。本文使用计算机代数系统Maple... 乘法器电路验证问题是一项极其重要而又极具挑战性的难题。当前主流的方法是先将其建模成交换代数中的理想成员问题,然后使用Mathematica、Singular等计算机代数系统中的Gr&#246;bner基方法进行判定。本文使用计算机代数系统Maple对这一方法给出了全新实现并在计算机上进行了对比实验。实验结果表明:Maple的实现在某种程度上具有更高的验证效率,可成为乘法器电路强有力的验证平台。 展开更多
关键词 乘法器 Gro style=" margin-left:-10px ">¨ bner基 形式化方法 MAPLE
下载PDF
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
上一页 1 下一页 到第 页
使用帮助 返回顶部