定点算术数据通路的等价性检验方法

来源 :计算机辅助设计与图形学学报 | 被引量 : 3次 | 上传用户：cl157967874

【摘要】

：

以vanishing多项式理想的极小强Grbner基为理论基础,提出一种针对定点算术数据通路的等价性检验方法.通过使用多项式函数建模定点数据通路的设计规范和寄存器传输级实现,将等价性检验问题转化为判断一个多项式函数是否为vanishing多项式、vanishing多项式理想的极小强Grbner基被用来有效地解决该问题.理论分析和实验结果表明,与现有的算法相比,该方法在时间消耗上具有一定的优势.

【作者】

：

李东海马光胜胡靖

【机构】

：

哈尔滨工程大学计算机科学与技术学院

【出处】

：

计算机辅助设计与图形学学报

【发表日期】

：

2009年01期

【关键词】

：

vanishing多项式 Grbner基定点数据通路等价性检验形式验证 vanishing polynomial Grobner basis fixe

下载到本地 , 更方便阅读

下载此文赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

其他文献

Bézier曲线细分收敛定理的推广

在CAGD中,基于de Casteljau算法对Bézier曲线进行迭代细分时收敛定理成立,即假设每一次在相同的位置参数r（0

期刊

DECASTELJAU算法细分收敛BÉZIER曲线the de Casteljau algorithm subdivision conver

面向异构MPSoC的多媒体应用程序任务分配方法

任务分配是多处理器SoC功能实现与性能优化的重要步骤,严重影响着多处理器SoC系统的处理性能与效率.文中针对多媒体应用程序向异构多处理器SoC的任务分配问题,提出图结点多着

期刊

多处理器片上系统任务分配多媒体处理蚁群优化算法遗传算法multi-processor system-on-chip task allocation

父母文化程度与留守中学生心理健康问题研究

目的了解留守中学生心理健康现状和父母文化程度对留守中学生心理健康水平的影响。方法采用中学生心理健康量表对黄山市潜口镇808名中学生进行调查分析。结果（1）留守中学生存

期刊

留守中学生父母文化程度心理健康

食管癌DNA倍体异质性肿瘤的P^53和rasP621蛋白的表达

目的在ＤＮＡ一研究的基础上，进一步从蛋白质表达水平上探讨ＤＮＡ本异质性肿瘤的生物学特性。方法应用流式细胞术和细胞免疫荧光技术，对１５便异质性和非异质性肿瘤细胞的Ｐ５３和ｒａｓＰ＾２１蛋白表达量进

期刊

食管癌DNA倍体异质性P^53RASP^21esophageal neoplasms DNA ploid heterogeneity P53 p

改进的门单元多输入跳变电流源模型

电压信号的非线性问题和多输入跳变现象给时序分析带来了严重挑战.为更好地解决此问题,文中设计电路对门单元输入端和内部节点间的密勒电容进行了验证,从器件结构上分析了其来源,并通过引入该电容改进了已有多输入跳变电流源模型,以获得更高的模型精度;同时将二输入门单元模型扩展到多输入门单元,并详述了建模方法.多种门单元上的数值实验结果表明,与已有模型相比,在可接受的时间开销内,文中模型能够显著地提高门单元时延

期刊

电流源模型密勒电容多输入跳变串扰噪声波形仿真current source model Miller capacitance multiple-in

腹水巯基物铁蛋白及腺苷脱氨酶联合检测鉴别良恶性腹水

目的探讨良恶性腹水的鉴别诊断方法。方法通过３８例腹水巯基物，铁蛋白，腺苷脱氮酶测定进行统计学处理。结果联合检测铁蛋白，巯基物诊断恶性腹水的敏感性为９２．８％，特异性９２．８％；检测腺苷脱氨

期刊

腹水铁蛋白巯基物腺苷脱氨酶ascites sulfydryl compound ferritin adenosine deaminase(ADA)

道路交通事故伤残评定66例分析

目的探讨道路交通事故活体损伤案例中损伤部位与伤残程度之间的关系.方法收集2000～2001年受理的道路交通事故评残案例66例,对其进行统计和分析.结果伤残程度评定中VII～X级和I～V

期刊

道路交通事故伤残评定病例分析

人体运动捕获数据的向量空间建模与检索

为了精确、高效地检索人体运动数据库,将三维人体运动捕获数据表示成类似于文本的形式,提出一种基于内容的运动检索方法.首先对人体上/下半身两部分数据分别提取关键帧,并进行相似传播聚类分析,获得数据中最具代表性的一组人体姿势,称之为运动词汇;然后将运动片段的每一帧都替换成运动词汇中与其最相近的姿势来构建运动文档,利用Bigram向量空间模型对人体运动进行检索.整个算法流程不需要人为干预,能够自动完成对已

期刊

运动捕获数据运动检索向量空间模型关键姿势提取相似传播motion capture data motion retrieval vector spa

紫杉醇联合奈达铂治疗放疗后进展或复发的中晚期食管癌临床观察

目的观察紫杉醇联合奈达铂（NDP）方案治疗放疗后进展或复发的中晚期食管癌的临床疗效及毒副反应。方法非手术、放疗后进展或复发,Ⅱ～Ⅳ期食管癌患者,紫杉醇135 mg·m-2静脉点

期刊

紫杉醇奈达铂化学治疗中晚期食管癌paclitaxel nedaplatin chemotherapy advanced esophageal ca

成人咽鼓管咽口的解剖学观测

目的为临床提供有关数据.方法采用福尔马林固定过的成人解离的头颈教学标本48侧,左右各半,就咽鼓管咽口扩张术有关的结构进行了观察和测量(mm计).结果咽口有三角形、裂隙形、

期刊

咽鼓管咽口咽鼓管扩张术咽鼓管圆枕解剖学

定点算术数据通路的等价性检验方法

与本文相关的学术论文