基于反向遍历组合单元BDD的延时参数激励波形自动生成算法  

A stimuli generation algorithm based on reverse-travel of combinational cell BDD for delay characterization

作　　者：罗小华[1] 李训根[2] 严晓浪[1] 

机构地区：[1]浙江大学超大规模集成电路设计研究所,浙江杭州310027 [2]杭州电子科技大学,浙江杭州310018

出　　处：《电路与系统学报》2006年第4期61-64,共4页Journal of Circuits and Systems

基　　金：浙江省科技计划重点项目资助(021107065)

摘　　要：本文研究了深亚微米工艺条件下单元特征参数提取和建模的激励生成,提出了一种基于反向遍历组合单元BDD的延时参数激励波形生成算法。该算法通过分析组合单元延时参数激励波形的特征和单元BDD的特征,推导了组合单元延时激励波形的生成定理,给出了基于该定理的组合单元延时激励波形生成算法。算法能快速完备地生成延时参数的激励波形,避免了复杂的布尔函数运算,提高了激励波形的生成效率。In this paper, a stimulus generation algorithm based on reverse-travel of combinational cell＇s BDD is given. A stimulus generation theorem is presented after studying with the delay stimulus and combinational cell＇s BDD. A stimulus generation algorithm for delay characterization is then implemented based on this theorem. The algorithm could improve the efficiency of stimulus generation comparing to Formulas Method.

关 键 词：延时参数提取 BDD 激励波形生成 

分 类 号：TN402[电子电信—微电子学与固体电子学]