等价性验证相关论文
针对胚胎电子细胞阵列在线故障检测设计困难、检测率低、检测率难以准确计算等问题,提出了一种基于双模冗余的在线故障检测方法和......
为了克服现有等价性验证技术中难以精确匹配锁存器的局限性，提出了一种结合多种方法的新型锁存器匹配算法．该算法结合任意模拟、局部......
本文提出了一种结合二叉判决图BDD和布尔可满足性SAT的新颖组合电路等价性验证技术.算法是在与/非图AIG中进行推理,并交替使用BDD......
文章介绍低功耗设计的方法,着重介绍CPF相关低功耗设计特点。最后总结针对CPF低功耗设计的等价性验证方法,重点讨论隔离单元的验证......
提出了基于布尔可满足性（Boolean Satisfiability，SAT）的逻辑电路等价性验证方法。这一验证方法把每个电路抽象成一个有穷自动机（FSM），为......
提出了使用布尔可满足性来验证数字电路的等价性验证方法．这一验证方法把每个电路抽象成一个有限状态机，为两个待验证的电路构造积机......
目前提高求解SAT问题完全算法的计算效率问题已成为挑战性研究问题。提出了一种基于启发式分组的SAT完备算法。启发式分组策略将一......
介绍了一种使用电路可满足性解算器的组合电路等价性验证算法.对包含多输出的复杂验证问题,首先对联接电路作输出分组,将等价性验......
如何对片上系统(SOC)来进行验证,是一个比较复杂的问题.本文介绍了用形式化方法来验证SOC,讨论在对SOC进行等价性验证时应注意的几......
本文介绍了仿真验证与形式验证的功能，重点讨论了等价性验证在SOC设计中的应用及基本流程，分析了等价性验证过程中常遇到的一些问题......
等价性验证是目前集成电路设计验证中应用最为广泛的形式化方法，其核心目标是验证两个设计模型之间的功能等价性。以集成电路等价性......
为了克服现有等价性验证技术难以快速验证复杂算术电路的局限性，提出了一种利用综合引擎分析并再现算术电路优化过程的算法．该算法结......
为提高等价性验证效率，提出了一种利用综合引擎重现算术电路的优化过程算法．算法在单向无环图上计算距离，提取出变量的分组和结合顺序......
随着集成电路设计规模的日益增大,结合多种推理引擎已成为组合电路形式化等价性验证的重要手段.提出一种基于电路拓扑结构分析的组......
等价性验证在集成电路设计中占有重要地位.然而,传统的电路表示模型存在着算法复杂度高或只针对特定电路有效的缺点.针对这一缺点......
人工智能被称为二十一世纪三大尖端技术之一，目前已深入到人们科研、工作和生活的各个领域，并在不断地发展。可满足性问题（SATisfiabi......
超大规模集成电路(VLSI)的设计日趋复杂,验证工作越来越繁重,验证难度也越来越大。在复杂的VLSI设计中,验证过程所需的时间约占整......
近些年在布尔可满足性(SAT)领域取得了较大进展,一系列基于DPLL框架的优化算法被提出,有效SAT解算器诸如zChaff等已可解决很大规模......
超大规模集成电路的验证工作在产品设计周期中所占的比例已达到三分之二。等价性验证作为现代SoC设计流程的一个重要步骤,用于验证......
ue＊M＃’＃dkB4＃＃8＃”专利申请号:00109“7公开号:1278062申请日:00.06.23公开日:00.12.27申请人地址:（100084川C京市海淀区清华园申请人:清......
嵌入式CPU作为SoC设计中最重要最关键的IP,其研发受到了广泛关注。本文主要围绕CKCORE国产32位嵌入式CPU的研制,对其体系结构、核......
随着集成电路规模的增加,电路设计的复杂度越来越高,系统芯片(SoC)成为了微电子技术的发展方向。其中一项关键技术就是基于IP核的......
GPS系统芯片是利用GPS基本原理设计而成的全天候实时定位导航设备。近年来随着集成电路的快速发展,基于GPS系统芯片的相关产品已经......
随着移动通讯技术的发展和手机用户的快速拓展，低功耗技术已经广泛的应用于手机芯片设计中。传统的低功耗设计方法已经不能满足日益......
等价性验证是在设计电路时确保电路正常功能的方法，在集成电路的设计中有很重要的位置。目前已经存在很多验证技术，但是由于在验证过......
形式化验证技术起源于20世纪60年代软件危机。直至整个70年代，形式化验证技术所针对的一般是转换型程序，即单纯进行科学计算、计数等......
随着集成电路片上系统设计的规模越来越大,耗时越来越长,验证作用日趋重要。现今的验证方法都涵盖功能验证和时序验证,通过对系统......
关于集成电路设计正确性的验证问题一直是学术界以及工业界予以关注和重视的研究课题。随着大规模集成电路的快速发展，使得验证的难......
随着集成电路的规模增长、复杂度的日益提高，使用传统的基于模拟的方法进行验证已经无法满足开发大型硬件系统的需要。作为模拟验证......
VLSI技术的快速提高导致硬件设计复杂性增大,使得检查电路的正确性已经变成一项非常困难的任务。在后面的设计环节中或者等到产品......
集成电路规模的不断增大和集成工艺的不断进步,对集成电路的设计方法提出了更高的要求。在深亚微米工艺下,由于互连延时在总延时中......
为了解决芯片功耗和计算复杂度问题,量子计算是最近国际上研究的热点之一。量子态叠加性所引入了的超并行计算可以大大提高信息处......
X微处理器是一款采用全定制方法设计的处理器,内部结构复杂,规模宏大,含有大量的存储电路,因此对其进行验证具有很大的难度。本文......
集成电路是现代信息产业和信息社会的基础,随着网络化和知识经济浪潮的到来,集成电路系统已经渗入到了我们生活中的各个领域,而随......
随着IT业的不断发展，集成电路产业增长迅速。而随着芯片复杂度的不断增加，设计出错的可能性越来越大，因而验证越来越重要，而验证新产品......
随着集成电路集成度与复杂性的日益增长,出现了功能更加复杂、性能更高的系统芯片。与此同时,芯片验证的工作量也呈指数增长,在较......
