咨询与建议

限定检索结果

文献类型

  • 1 篇 期刊文献

馆藏范围

  • 1 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 1 篇 工学
    • 1 篇 机械工程
    • 1 篇 电气工程
    • 1 篇 电子科学与技术(可...
    • 1 篇 计算机科学与技术...
    • 1 篇 建筑学
  • 1 篇 艺术学
    • 1 篇 设计学(可授艺术学...

主题

  • 1 篇 逻辑综合
  • 1 篇 组合逻辑环
  • 1 篇 sat引擎
  • 1 篇 静态逻辑蕴涵

机构

  • 1 篇 西安电子科技大学

作者

  • 1 篇 许钊
  • 1 篇 史江义
  • 1 篇 马佩军
  • 1 篇 张译
  • 1 篇 袁莉
  • 1 篇 邸志雄
  • 1 篇 郝跃

语言

  • 1 篇 中文
检索条件"主题词=组合逻辑环"
1 条 记 录,以下是1-10 订阅
排序:
一种组合逻辑环转化方法
收藏 引用
西安电子科技大学学报 2014年 第1期41卷 75-80页
作者: 邸志雄 史江义 马佩军 张译 袁莉 郝跃 许钊 西安电子科技大学宽带隙半导体国家重点实验室 陕西西安710071
组合逻辑环能够减少电路逻辑资源,降低电路功耗,但是其难以被静态时序分析工具分析和计算,且难以生成功能验证向量和自动测试图形向量.针对此问题,提出一种组合逻辑环转化方法,以解决硬件描述语言以及高级语言逻辑综合阶段所面临的组合... 详细信息
来源: 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论