【摘 要】
：
乘法器的等价性验证目前仍是大规模算术集成电路设计领域内的一大难题。本文利用逻辑门与多项式之间的对应关系,构建了乘法器的代数模型,将乘法器等价性验证问题转化成理想成
论文部分内容阅读
乘法器的等价性验证目前仍是大规模算术集成电路设计领域内的一大难题。本文利用逻辑门与多项式之间的对应关系,构建了乘法器的代数模型,将乘法器等价性验证问题转化成理想成员判定问题,然后再用计算机代数系统中的Gröbner基方法进行求解。提出了一种对乘法器结构进行切片后再采用增量式验证的新方法。在Linux平台上的计算机代数系统Mathematica上所做的实验结果也表明了该方法的有效性。
其他文献
本文基于因子分析方法,建立了学生的数学学习自我效能感的评价模型,并以淮安市淮海中学的高中学生作为研究对象进行了实证研究。利用学生的自我效能感的综合得分对相关的问题
本文采用邻近算法、决策树、支持向量机三种分类方法对胎心宫缩监数据(CTG)进行分类分析,得出每种方法的分类结果,并就每种方法的准确率、误判率进行判别。通过研究表明,决策
本文在分析青海省西宁市大通回族土族自治县(以下称大通县)鸡腿葱生产现状的基础上阐述了鸡腿葱品种退化的原因,提出了以原种提纯复壮、推行标准化生产、合理利用品种资源为
利用简单迎风差分格式和自适应网格方法相结合求解拟线性奇异摄动方程两点边值问题,通过等分布弧长控制函数而产生自适应网格,得到自适应差分格式的关于摄动参数ε一致的一阶
本文给出李氏卵形曲线和李氏卵圆及李氏心脏线的定义,提出一类参数式方程,证明其在一定条件下可为李氏卵形曲线、李氏卵圆及李氏心脏线。并获得了这类卵形曲线的面积、周长、
气温变化是由多种非线性因素引起的,传统的数值气温预测模式由于其繁琐的步骤和较低的预测精度已无法满足人们的需求。鉴于BP神经网络对非线性的拟合有很强的映射能力,因此考
使用BICOMB共词分析及SPSS软件,基于知网上276篇核心期刊论文,对有关数学核心素养方面的热点进行可视化分析,研究数学核心素养在国内发展现状。
地图符号qgf(x)是制图对象x在f、g、q三重拓扑映射下的象。根据制图对象在现实中存在与否定义了模拟与虚拟地图符号;根据地图符号与地图比例尺相关、无关或半相关的质,定义了
本文从球茎茴香产地环境、品种选择、培育壮苗、肥水管理、病虫害防治等方面对河湟谷地露地球茎茴香的生产技术进行了系统的介绍,通过对球茎茴香产前、产中及产后的分析,旨在
民和回族土族自治县(以下称民和县)县所辖22个乡镇,多为山区,土壤主要以灰钙土、栗钙土、红壤土等为主,成土母质为黄土,土质属中壤土,质地疏松,冬季寒冷、夏季凉爽,昼夜温差