主  题

不  限

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

不  限

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

主  题

不  限

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

不  限

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

全  文

不  限

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

不  限

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

高性能DSP内核的综合优化与验证  CNKI文献

FT-XXXX是国防科学技术大学自主研发的一款高性能多核DSP芯片,具有定浮点混合指令和自主设计的指令集结构,主要用于通信技术、图像处理等嵌入式应用。此芯片采用40nm工艺,主频设计目标为1GHz,片内存储容量达1MB。其中...

孙书娟 导师:邢座程 国防科学技术大学 2015-03-01 硕士论文

关键词: 芯片内核 / 层次化综合 / 物理综合 / 优化权重

下载(41)| 被引(0)

基于UPF低功耗设计下的逻辑综合等价性验证  CNKI文献

随着集成电路的发展,芯片的功耗要求越来越高,低功耗的设计方法应运而生,采用低功耗设计的芯片越来越多。Synopsys公司推出的基于统一功耗格式(UPF)的低功耗设计流程为业界广泛使用。它将用UPF来描述设计的功耗意图这...

刘毅 导师:陈军宁 安徽大学 2011-05-01 硕士论文

关键词: 逻辑综合 / 低功耗 / UPF / 设计约束

下载(297)| 被引(15)

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

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

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

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

下载(91)| 被引(6)

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

  • 发文趋势
时间的形状