搜索筛选:
搜索耗时0.0880秒,为你在为你在102,285,761篇论文里面共找到 11 篇相符的论文内容
发布年度:
[学位论文] 作者：郑飞君,,
来源：浙江大学 年份：2008
近些年在布尔可满足性(SAT)领域取得了较大进展,一系列基于DPLL框架的优化算法被提出,有效SAT解算器诸如zChaff等已可解决很大规模的SAT问题。SAT作为一个优秀引擎在EDA领域...
[期刊论文] 作者：郑飞君,严晓浪,葛海通,杨军,
来源：电子与信息学报 年份：2005
该文提出了一种使用布尔可满足性SAT的新颖组合电路等价性验证技术。算法是在联接电路(Miter circuit)中进行推理来简化验证问题,推理中使用了"与／非"图结构简化、BDD扩展、隐含学习多种方法,最后 使用有效SAT解算器zChaff解决验证任务。该算法综合了BDD和SAT的......
[期刊论文] 作者：杨军,葛海通,郑飞君,严晓浪,
来源：浙江大学学报：理学版 年份：2006
模型检验作为一种形式化验证方法，近年来在各种硬件、软件设计中得到了广泛应用．文中首先介绍了描述系统行为的Kripke结构和描述系统性质的CTL逻辑，然后介绍了模型检验中常用的......
[期刊论文] 作者：严晓浪,郑飞君,葛海通,杨军,
来源：电子学报 年份：2004
本文提出了一种结合二叉判决图BDD和布尔可满足性SAT的新颖组合电路等价性验证技术.算法是在与/非图AIG中进行推理,并交替使用BDD扩展和基于电路SAT解算器简化电路.如尚未解...
[期刊论文] 作者：郑飞君,杨军,葛海通,严晓浪,,
来源：浙江大学学报(工学版) 年份：2006
为了克服现有等价性验证技术中难以精确匹配锁存器的局限性，提出了一种结合多种方法的新型锁存器匹配算法．该算法结合任意模拟、局部二叉判决图、目标模拟3种方法来匹配锁存器，......
[期刊论文] 作者：翁延玲,葛海通,严晓浪,郑飞君,
来源：浙江大学学报：工学版 年份：2008
为了克服现有等价性验证技术难以快速验证复杂算术电路的局限性，提出了一种利用综合引擎分析并再现算术电路优化过程的算法．该算法结合了乘法器的编码方式识别技术、加法电路的......
[会议论文] 作者：翁延玲,严晓浪,葛海通,郑飞君,
来源：第四届中国测试学术会议 年份：2006
本文提出了一种利用综合引擎重现算术电路的优化过程的算法,提高了等价性验证效率.ZDFV的综合引擎首先识别乘法器的编码方式,提取部分积的加法树实现方案;然后根据这些信息生成与实现电路结构相似且逻辑正确的网表.本算法可直接结合到现有的RTL和门级网表的验证......
[期刊论文] 作者：蒋永惠,闫春霞,郑飞君,王新频,
来源：水泥 年份：1996
采用正交试验对粉煤灰低热生膨胀水泥进行配比优选，通过提高粉磨细度，使用高温煅烧石膏，掺加复合外加剂等方法，成功地研制出粉煤灰低热微膨胀水泥。通过Ｘ射线衍射、扫描电镜和水化......
[期刊论文] 作者：杨军,卢永江,葛海通,郑飞君,严晓浪,,
来源：电路与系统学报 年份：2007
割集在组合电路等价性验证中得到了广泛的应用，已有的方法常构造能将整个电路一分为二的割集，虽然这种割集在验证后续节点时可以重用已构建的BDD，但它的排序对大多数后续节点都......
[期刊论文] 作者：郑飞君,严晓浪,葛海通,杨军,卢永江,
来源：计算机辅助设计与图形学学报 年份：2005
介绍了一种使用电路可满足性解算器的组合电路等价性验证算法.对包含多输出的复杂验证问题,首先对联接电路作输出分组,将等价性验证问题转化为包含若干个组的电路可满足性问题,继而使用电路解算器解决问题.同时,注意各个子问题间的有用隐含信息的共享,减小了SAT......
[期刊论文] 作者：杨军,郑飞君,卢永江,葛海通,严晓浪,,
来源：浙江大学学报(工学版) 年份：2006
为了提高组合电路的等价性验证速度，提出了一种利用电路内部等价信息的新型验证方法．该方法结合了通用割集和专用割集．从原始输出进行回溯得到通用割集，用通用割集验证所有候选等......
相关搜索：
