作  者

不  限

  • 不  限
  • 1915年
  • 1949年
  • 1979年

不  限

  • 不  限
  • 1979年
  • 1949年
  • 1915年
  • 全  文
  • 主  题
  • 篇  名
  • 关键词
  • 作  者
  • 作者单位
  • 摘  要
  • 参考文献
  • 基  金
  • 文献来源
  • 发表时间
  • 中图分类号

全  文

不  限

  • 不  限
  • 1915年
  • 1949年
  • 1979年

不  限

  • 不  限
  • 1979年
  • 1949年
  • 1915年
  • 全  文
  • 主  题
  • 篇  名
  • 关键词
  • 作  者
  • 作者单位
  • 摘  要
  • 参考文献
  • 基  金
  • 文献来源
  • 发表时间
  • 中图分类号
设置
  • 关闭历史记录
  • 打开历史纪录
  • 清除历史记录
引用
筛选:
文献类型 文献类型
学科分类 学科分类
发表年度 发表年度
作者 作者
机构 机构
基金 基金
研究层次 研究层次
排序:
显示:
CNKI为你找到相关结果

基于布尔可满足性的逻辑电路等价性验证和测试生成技术研究  CNKI文献

近些年在布尔可满足性(SAT)领域取得了较大进展,一系列基于DPLL框架的优化算法被提出,有效SAT解算器诸如zChaff等已可解决很大规模的SAT问题。SAT作为一个优秀引擎在EDA领域已广泛应用,本论文的主要方向就是探索如何有...

郑飞君 导师:严晓浪 浙江大学 2008-06-01 博士论文

关键词: 形式验证 / 等价性验证 / 二叉判决图 / 可满足性问题

下载(376)| 被引(4)

使用布尔可满足性的组合电路等价性验证算法  CNKI文献

该文提出了一种使用布尔可满足性SAT的新颖组合电路等价性验证技术。算法是在联接电路(Miter circuit)中进行推理来简化验证问题,推理中使用了"与/非"图结构简化、BDD扩展、隐含学习多种方法,最后 使用有效...

郑飞君 严晓浪... 《电子与信息学报》 2005年04期 期刊

关键词: 等价性验证 / 与/非图 / 可满足性解算器 / 隐含学习

下载(133)| 被引(7)

使用输出分组和电路可满足性的等价性验证算法  CNKI文献

介绍了一种使用电路可满足性解算器的组合电路等价性验证算法.对包含多输出的复杂验证问题,首先对联接电路作输出分组,将等价性验证问题转化为包含若干个组的电路可满足性问题,继而使用电路解算器解决问题.同时,注意各...

郑飞君 严晓浪... 《计算机辅助设计与图形学学报》 2005年11期 期刊

关键词: 等价性验证 / 输出分组 / 电路可满足性

下载(58)| 被引(9)

面向等价性验证的锁存器匹配算法  CNKI文献

为了克服现有等价性验证技术中难以精确匹配锁存器的局限性,提出了一种结合多种方法的新型锁存器匹配算法.该算法结合任意模拟、局部二叉判决图、目标模拟3种方法来匹配锁存器,并使用了类似滤波器的思想,任意模拟对锁...

郑飞君 杨军... 《浙江大学学报(工学版)》 2006年08期 期刊

关键词: 等价性验证 / 锁存器匹配 / 局部二叉判决图 / 目标模拟

下载(32)| 被引(7)

结合二叉判决图和布尔可满足性的等价性验证算法  CNKI文献

本文提出了一种结合二叉判决图BDD和布尔可满足性SAT的新颖组合电路等价性验证技术 .算法是在与 /非图AIG中进行推理 ,并交替使用BDD扩展和基于电路SAT解算器简化电路 .如尚未解决 ,将用基于合取范式SAT解算器进行推理...

严晓浪 郑飞君... 《电子学报》 2004年08期 期刊

关键词: 等价性验证 / 与/非图 / 孤立节点 / 二叉判决图

下载(240)| 被引(17)

结合通用割集和专用割集的组合电路验证方法  CNKI文献

为了提高组合电路的等价性验证速度,提出了一种利用电路内部等价信息的新型验证方法.该方法结合了通用割集和专用割集.从原始输出进行回溯得到通用割集,用通用割集验证所有候选等价点(CEP)的等价性.从特定候选等价点进...

杨军 郑飞君... 《浙江大学学报(工学版)》 2006年09期 期刊

关键词: 形式验证 / 通用割集 / 专用割集 / 依赖性

下载(39)| 被引(3)

一种形式化验证方法:模型检验  CNKI文献

模型检验作为一种形式化验证方法,近年来在各种硬件、软件设计中得到了广泛应用.文中首先介绍了描述系统行为的Kripke结构和描述系统性质的CTL逻辑,然后介绍了模型检验中常用的两种算法:标记算法和基于固定点的算法,最...

杨军 葛海通... 《浙江大学学报(理学版)》 2006年04期 期刊

关键词: 模型检验 / Kripke结构 / CTL逻辑 / 标记

下载(868)| 被引(75)

算术电路的等价性验证  CNKI文献

本文提出了一种利用综合引擎重现算术电路的优化过程的算法,提高了等价性验证效率。ZDFV的综合引擎首先识别乘法器的编码方式,提取部分积的加法树实现方案;然后根据这些信息生成与实现电路结构相似且逻辑正确的网表。...

翁延玲 严晓浪... 第四届中国测试学术会议论文集 2006-08-01 中国会议

关键词: 综合 / 等价性验证 / 算术电路

下载(29)| 被引(0)

一种避免内存爆炸的组合电路等价性验证方法  CNKI文献

割集在组合电路等价性验证中得到了广泛的应用,已有的方法常构造能将整个电路一分为二的割集,虽然这种割集在验证后续节点时可以重用已构建的BDD,但它的排序对大多数后续节点都很差,容易引起内存爆炸问题。本文中的割...

杨军 卢永江... 《电路与系统学报》 2007年03期 期刊

关键词: 等价性验证 / BDD / 割集

下载(66)| 被引(3)

结合半加图的算术电路等价性验证技术  CNKI文献

为了克服现有等价性验证技术难以快速验证复杂算术电路的局限性,提出了一种利用综合引擎分析并再现算术电路优化过程的算法.该算法结合了乘法器的编码方式识别技术、加法电路的半加树提取技术和部分积加法电路的架构识...

翁延玲 葛海通... 《浙江大学学报(工学版)》 2008年08期 期刊

关键词: 综合 / 等价性验证 / 算术电路 / 半加树

下载(45)| 被引(3)

高粉煤灰掺量低热微膨胀水泥的研究  CNKI文献

采用正交试验对粉煤灰低热微膨胀水泥进行配比优选,通过提高粉磨细度,使用高温煅烧石膏,掺加复合外加剂等方法,成功地研制出粉煤灰低热微膨胀水泥(粉煤灰掺量超过60%)。通过X射线衍射(XRD)、扫描电镜(...

蒋永惠 闫春霞... 《水泥》 1996年02期 期刊

关键词: 粉煤灰 / 低热微膨胀 / 复合外加剂

下载(96)| 被引(4)

学术研究指数分析(近十年)详情>>

  • 发文趋势
时间的形状