-
在结果中检索

检索结果分析

结果分析中...
检索条件："关键词=推测化简模型 "
共 条 记 录，以下是1-1

发文量、被引量趋势图

全选清除导出
参考文献引证文献引用追踪
视图：
排序：
显示条数：
改进的基于属性不变量生成和数学归纳法的时序逻辑优化算法被引量：1
《计算机辅助设计与图形学学报》2012年第9期1232-1240,共9页郝亚男 杨海钢 路宝珠 崔秀海 张茉莉 
国家重点基础研究发展计划项目(2011CB933202);国家自然科学基金(61106033)
为了在时序逻辑综合中使电路面积和关键路径延迟同时得到快速优化,提出一种改进的基于假设后验证的时序优化算法.在位并行随机模拟提取候选属性不变量之前,利用寄存器共享来降低初始候选不变量数目,以减少SAT程序的频繁调用;然后利用推...
关键词：时序优化 假设后验证 位并行随机模拟 寄存器共享 推测化简模型 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部