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

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