基于反向遍历组合单元bdd的延时参数激励波形自动生成算法 a stimuli generation algorithm based on reverse-travel of combinational cell bdd for delay characterization.pdfVIP

第 11 卷 第4 期 电路与系统学报 Vol.11 No.4 2006 年 8 月 JOURNAL OF CIRCUITS AND SYSTEMS August 2006 文章编号 1007-0249 (2006) 04-0061-04 基于反向遍历组合单元BDD 的延时参数激励波形 * 自动生成算法 1 2 1 1. 浙江大学 超大规模集成电路设计研究所 浙江 杭州 310027 2. 杭州电子科技大学 浙江 杭州 310018 摘要 本文研究了深亚微米工艺条件下单元特征参数提取和建模的激励生成 提出了一种基于反向遍历组合单元 BDD 的延时参数激励波形生成算法 该算法通过分析组合单元延时参数激励波形的特征和单元BDD 的特征 推导了 组合单元延时激励波形的生成定理 给出了基于该定理的组合单元延时激励波形生成算法 算法能快