推测化简模型相关硕士博士期刊学术论文 - 搜论网

推测化简模型相关论文

改进的基于属性不变量生成和数学归纳法的时序逻辑优化算法

为了在时序逻辑综合中使电路面积和关键路径延迟同时得到快速优化,提出一种改进的基于假设后验证的时序优化算法.在位并行随机模拟......

期刊

时序优化假设后验证位并行随机模拟寄存器共享推测化简模型 sequential optimization assume-then-prove bit-wi

看过本文同时还关注