咨询与建议

限定检索结果

文献类型

  • 1 篇 期刊文献

馆藏范围

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

日期分布

学科分类号

  • 1 篇 工学
    • 1 篇 计算机科学与技术...

主题

  • 1 篇 位并行随机模拟
  • 1 篇 假设后验证
  • 1 篇 时序优化
  • 1 篇 寄存器共享
  • 1 篇 推测化简模型

机构

  • 1 篇 中国科学院电子学...
  • 1 篇 中国科学院研究生...

作者

  • 1 篇 崔秀海
  • 1 篇 lu baozhu
  • 1 篇 cui xiuhai
  • 1 篇 郝亚男
  • 1 篇 zhang moli
  • 1 篇 路宝珠
  • 1 篇 yang haigang
  • 1 篇 杨海钢
  • 1 篇 张茉莉
  • 1 篇 hao ya'nan

语言

  • 1 篇 中文
检索条件"主题词=位并行随机模拟"
1 条 记 录,以下是1-10 订阅
排序:
改进的基于属性不变量生成和数学归纳法的时序逻辑优化算法
收藏 引用
计算机辅助设计与图形学学报 2012年 第9期24卷 1232-1240页
作者: 郝亚男 杨海钢 路宝珠 崔秀海 张茉莉 中国科学院电子学研究所可编程芯片与系统研究室 北京100190 中国科学院研究生院 北京100049
为了在时序逻辑综合中使电路面积和关键路径延迟同时得到快速优化,提出一种改进的基于假设后验证的时序优化算法.在位并行随机模拟提取候选属性不变量之前,利用寄存器共享来降低初始候选不变量数目,以减少SAT程序的频繁调用;然后利用推... 详细信息
来源: 评论