作  者

不  限

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

不  限

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

全  文

不  限

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

不  限

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

RTL到门级设计的等价性验证的研究  CNKI文献

超大规模集成电路的验证工作在产品设计周期中所占的比例已达到三分之二。等价性验证作为现代SoC设计流程的一个重要步骤,用于验证不同抽象层设计之间的功能等效性。包含算术电路的设计的验证工作则是等价性验证的热点...

翁延玲 导师:严晓浪 浙江大学 2008-04-01 博士论文

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

下载(361)| 被引(4)

基于等价性形式验证的逻辑综合引擎设计研究  CNKI文献

本文描述了一个基于等价性验证的逻辑综合引擎,它实现了从RTL级到网表级的综合。设计验证系统的初衷是验证给定设计从RTL级到网表级自动综合后电路的正确性,所以综合引擎本身的正确性是本文首要关注的问题。为了提高等...

翁延玲 葛海通... 《电路与系统学报》 2007年04期 期刊

关键词: 逻辑综合 / 等价性验证 / 电路相似性

下载(91)| 被引(6)

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

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

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

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

下载(45)| 被引(3)

等价性验证中的自动算符排序  CNKI文献

为提高等价性验证效率,提出了一种利用综合引擎重现算术电路的优化过程算法.算法在单向无环图上计算距离,提取出变量的分组和结合顺序;对不同编码方式的乘法器,识别乘数和被乘数的结合顺序.ZDFV的综合引擎根据这些信息...

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

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

下载(31)| 被引(4)

Arithmetic Operand Ordering for Equivalence Checking  CNKI文献

An information extraction-based technique is proposed for RTL-to-gate equivalence checking. Distances are calculated on directed acyclic graph (AIG). Multiplier and multiplicand are distinguished on ...

翁延玲 葛海通... 《Tsinghua Science and Technology》 2007年S1期 期刊

关键词: synthesis / equivalence / checking / arithmetic

下载(23)| 被引(3)

一种基于混合SAT求解器的RTL验证方法  CNKI文献

为了提高集成电路验证系统的性能,提出一种面向Verilog描述的寄存器传输级(RTL)电路验证方法.该方法将验证问题转化为RTL可满足性问题,并采用基于混合布尔可满足性问题(SAT)的求解器.与传统方法相比,其综合引擎取消了...

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

关键词: 集成电路设计 / 逻辑综合 / 等价性验证 / 混合SAT求解器

下载(90)| 被引(0)

基于改进图染色算法的ASIP寄存器分配器  CNKI文献

针对传统的图染色算法很难为不规则结构的专用指令处理器(ASIP)生成优化代码的问题,提出一种能描述ASIP寄存器复杂约束关系的数学模型;改进了传统图染色算法,通过生命周期分析,将各种分配约束限制在一张有向数据相关图...

任坤 严晓浪... 《浙江大学学报(工学版)》 2010年12期 期刊

关键词: 寄存器分配 / ASIP寄存器模型 / 图染色算法

下载(115)| 被引(3)

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

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

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

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

下载(29)| 被引(0)

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

  • 发文趋势
时间的形状