等价性检验相关论文
随着集成电路设计复杂性的日益增加,功能验证已成为整个设计流程的瓶颈.传统的模拟验证方法需要大量的时间,而且不能获得完全的覆......
数字电路形式化验证通常有三种方法:定理证明、模型检验和等价性检验.这些方法都是利用数学机制来验证数字电路的性质.在工业界中,......
验证最终设计的正确性，对设计复杂芯片起到了关键性的保证作用。有资料显示，目前芯片一次投片成功率只有35％左右，造成重复投片的主要原......
随着集成电路设计的复杂度和难度日益增大,验证作为设计过程中的关键环节,面临着巨大挑战。据统计,在芯片设计中,超过50%的人力和......
ESP-CV是Synopsys 开发的一种基于符号模拟技术的形式验证工具，可在定制电路和它的行为级描述之间进行等价性检验，并提供多项验证覆......
近年来 ,二叉判定图 BDD(Binary Decision Diagram )和符号模型检验在形式化验证数字电路设计中取得了突破性进展 .文中介绍了符号......
介绍了基于替换的组合电路的等价性检验算法，利用待检验的两个电路的结构相似性来逐步约简电路，从而加速了验证过程。......
讨论了组合电路的等价性检验方法,分析了FAN算法的关键技术。利用该算法进行了组合电路的等价性检验,实验结果表明了该方法的有效......
等价性检验方法通常包括功能性和结构性的验证方法。分析了等价性检验的一般方法；并讨论了基于递归学习的组合电路等价性检验方法；算......
文章分析了目前常用的等价性检验方法的特点,包括功能性和结构性的验证方法;讨论了基于二叉判决图(BDD)的组合电路等价性检验方法,......
随着集成电路规模越来越大，系统的功能日益复杂，功能验证已成为整个设计流程的瓶颈。对于大规模的时序电路，传统基于状态空间遍历的等......
组合验证是数字集成电路形式化设计验证的重要方面.该文提出了一种基于增量布尔可满足性的组合等价性检验方法,通过合理选择候选等......
为了提高验证效率和处理大规模电路的能力,提出了一种基于存储元素映射的层次化等价性检验方法,该方法将功能性和非功能性的映射方......
以vanishing多项式理想的极小强Grbner基为理论基础,提出一种针对定点算术数据通路的等价性检验方法.通过使用多项式函数建模定点......
针对传统的模拟验证方法需要大量的时间且难以获得完全的覆盖率的局限性 ,提出了目前应用最广泛的一种形式验证方法———等价性检......
依据有序二叉判定图(OBDD)和计算树逻辑(或称分支时态逻辑)CTL(Computational Tree Logic)的基本原理,分析了基于OBDD和CTL的验证......
大部分基于SAT的组合电路等价性检验方法是将两个待检验的电路组合成一个miter电路，将这个电路变换成CNF形式，然后调用一个SAT判定器......
对形式验证方法进行了一综述和讨论，介绍了基于符号处理的形式推理方法，并详细讨论了时序电路、组合逻辑电路等价性的检验方法。......
形式化验证用数学可证明的方式来验证系统.硬件设计的形式化验证通常有三种方法：定理证明、等价性检验和模型检验.文章着重分析了这......
针对近年来SoC领域的工作,首先分析了高层等价性检验的难点;然后从算法类型归类角度对各种高层等价性检验方法进行了概述评论,同时......
比较两个二项总体是否存在性质上的差异,在理论和应用上都是十分重要的。结合实例,文章分别应用精确条件检验、近似正态检验和P值......
时序电路的等价性验证比组合电路更复杂,尤其是状态变量多的电路;一种有效方法是通过寄存器匹配,将部分时序电路验证转化为组合电......
评估两种医学诊断方法之间的等价性或非劣性在医学研究中是十分重要的．本文对此问题提出了一种适合于任意容量的检验方法．......
分析了数字电路等价性检验方法的基本原理，对组合电路等价性检验方法进行了综合研究，讨论了各种方法的特点，指出了各种方法的优缺点及......
随着集成电路设计的规模变得越来越大、功能越来越复杂,功能验证已经成为设计流程的主要瓶颈。据统计,设计验证的时间已占到整个设......
随着集成电路的规模变得越来越大、功能越来越复杂，功能验证已经成为设计流程的主要瓶颈。据统计，设计验证的时间已占到整个设计周期......
现今社会已是海量信息的世界，而支持处理这些信息的最主要物质基础是数字芯片。为了满足日益复杂的系统功能需求，数字电路的设计工作......
当今片上系统(System-on-chip,SoC)设计复杂度越来越高,很多复杂设计已经无法从寄存器传输级(Register Transfer Level,RTL)开始建......
引入等价性检验模型,选取“红”、“玉”二字统计频数,计算检验统计量U与p值。根据U检验值与概率对照表,初步得出前80章与后40章存......
近年来,通信终端芯片的发展十分迅速,但同时移动终端的设计却越来越困难。首先,随着CMOS工艺尺寸从90nm到65nm再到现在的28nm,其静......
设计大规模数字电路中的关键问题之一是如何检查设计的正确性，即设计验证。但是，设计验证的复杂度随着芯片的规模增大呈指数增加。传......
临床试验和医学研究中估计某种疾病在人群中的流行率具有重要的意义,可以根据受试者是否患有该疾病对受试者进行分类来获得该疾病......
等价性和非劣性是评价两种医学诊断方法非常重要的指标，文章利用参数比值，构造一个适合任意样本容量的检验方法。......
