您的位置： 专家智库 > >

郑飞君

作品数：8 被引量：44H指数：4
供职机构：浙江大学电气工程学院超大规模集成电路设计研究所更多>>
发文基金：国家自然科学基金更多>>
相关领域：自动化与计算机技术电子电信更多>>

合作作者

领域

  • 5个电子电信
  • 5个自动化与计算...
  • 2个电气工程
  • 2个一般工业技术
  • 2个自然科学总论
  • 1个经济管理
  • 1个天文地球
  • 1个石油与天然气...
  • 1个金属学及工艺
  • 1个机械工程
  • 1个交通运输工程
  • 1个文化科学
  • 1个理学

主题

  • 5个等价
  • 5个等价性
  • 5个等价性验证
  • 5个电路
  • 4个引擎
  • 4个排序
  • 4个组合电路
  • 3个代码
  • 3个代码压缩
  • 3个电路设计
  • 3个信号
  • 3个形式化
  • 3个形式化验证
  • 3个形式化验证方...
  • 3个时序电路
  • 2个单元库
  • 2个导电特性
  • 2个低功耗
  • 2个低功耗策略
  • 2个低功耗设计

机构

  • 5个浙江大学
  • 3个杭州电子工业...
  • 2个杭州电子科技...
  • 1个复旦大学
  • 1个北京大学
  • 1个专用集成电路...

资助

  • 5个国家高技术研...
  • 5个国家自然科学...
  • 3个浙江省自然科...
  • 3个国家科技重大...
  • 2个浙江省科技计...
  • 2个“九五”国家...
  • 1个国家科技型中...
  • 1个国家重点基础...
  • 1个上海市自然科...
  • 1个中国博士后科...
  • 1个中央级公益性...
  • 1个浙江省新世纪...
  • 1个电科院预研基...
  • 1个国家电网公司...
  • 1个浙江省科技厅...
  • 1个浙江省重中之...
  • 1个中央高校基本...
  • 1个中国科学院科...
  • 1个浙江省重点科...

传媒

  • 5个电路与系统学...
  • 5个浙江大学学报...
  • 4个计算机辅助设...
  • 3个电子与信息学...
  • 3个电子学报
  • 3个浙江大学学报...
  • 3个计算机工程
  • 3个微电子学与计...
  • 3个微电子学
  • 3个第四届中国测...
  • 2个Journa...
  • 2个计算机应用研...
  • 2个计算机工程与...
  • 2个江南大学学报...
  • 2个传感器与微系...
  • 1个半导体技术
  • 1个科学通报
  • 1个电声技术
  • 1个仪器仪表学报
  • 1个计算机研究与...

地区

  • 5个浙江省
共 5 条 记 录，以下是 1-5
严晓浪
供职机构：浙江大学电气工程学院
研究主题：集成电路 VLSI 低功耗 光学邻近校正 版图
发表作品相关人物供职机构所获资助研究领域
葛海通
供职机构：浙江大学
研究主题：等价性验证 VLSI 低功耗 寄存器 等价性
发表作品相关人物供职机构所获资助研究领域
杨军
供职机构：浙江大学电气工程学院
研究主题：等价性验证 等价性 组合电路 阻抗 布尔可满足性
发表作品相关人物供职机构所获资助研究领域
卢永江
供职机构：浙江大学电气工程学院超大规模集成电路设计研究所
研究主题：等价性验证 等价性 割集 超大规模集成电路 组合电路
发表作品相关人物供职机构所获资助研究领域
翁延玲
供职机构：浙江大学电气工程学院超大规模集成电路设计研究所
研究主题：等价性验证 等价性 逻辑综合 ASIP 分配器
发表作品相关人物供职机构所获资助研究领域
全选 清除 导出
共1页<1>
聚类工具0