基于泰勒展开图的数据路径高层次验证

来源 :黑龙江工程学院学报 | 被引量 : 0次 | 上传用户:a247114340
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
泰勒展开图是基于图的表达方式,能够有效地表示多变量多项式。提出泰勒展开图的变量替换算法和变量合并算法。并在此基础上提出一个反向构建泰勒展开图的算法,该算法用于多项式数据路径的行为描述和寄存器传输级实现之间的等价性验证。实验结果表明提出的算法是有效的。
其他文献
目的应用彩色多普勒超声研究肝硬化患者餐后肾动脉及肠系膜上动脉循环阻力变化,探讨肝硬化患者肠系膜上动脉血管舒缩与肾动脉阻力变化的关系.方法应用彩色多普勒超声分别在餐
艾滋病是人类免疫缺陷病毒(human immunodeficiency virus,HIV)感染人体后,特异性地破坏CD4+T淋巴细胞,引起机体免疫功能严重受损的获得性免疫缺陷综合征(acquired immunodef
历经30多年的发展,超声医学在我国已经普及到昔日缺医少药的村镇,所用的设备也从最初脱胎于金属探伤仪的A型超声飞速发展为当今功能丰富、性能超卓的彩色超声。但有一点不变的
目的应用经阴道彩色多普勒(TVS-CDFI0观察药物流产后阴道出血时间延长者子宫血流变化,并了解出血时间延长原因.方法应用TVS-CDFI观测72例药物流产后阴道出血超过15 d的患者,
患者女,21岁,19岁时曾在外地医院行室间隔缺损修补术,术后听诊仍有明显的心前区杂音.于2003年6月就诊于我院心内科,经胸超声心动图(transth0racicechocardiography,TTE)分别
低碳发展意识是针对气候危机现实而形成的一种新的时代意识.是经济社会与气候友好型发展的必然要求。其本质是人类对自身生存与发展可持续性的意识或觉悟.主要表现为人类对高碳
目的:观察贝丹益肺胶囊对博莱霉素致肺纤维化大鼠肺组织的Cat KmRNA的影响,探讨其防治IPF的作用机制。方法:将40只Wistar大鼠随机分为四组:肺纤维化、对照组、贝丹益肺胶囊组和
目的:观察虫草益肾颗粒对阳离子化牛血清白蛋白(C-BSA )所致膜性肾病大鼠的治疗作用。方法:72只SD大鼠,除12只作为空白对照组外,余60只采用多次尾静脉注射C-BSA的方法制备膜性肾病
基于有粘结拉-压预应力混凝土梁的变形,通过截面内力平衡方程和截面曲率协调关系,对拉-压预应力混凝土梁进行加载的全过程非线性分析,电算结果与试验结果吻合得较好,为深入研
当核心混凝土产生徐变时,会出现内力重分布现象,使钢管和混凝土的模量发生变化.文中通过研究钢管混凝土徐变的特点,分析了核心混凝土徐变对钢管混凝土轴心受压构件强度和稳定