A Stimuli Generation Algorithm Based on Reverse-Travel of Combinational Cell BDD for Delay Characterization

Luo Xiao-hua,LI Xun-gen,YAN Xiao-lang
DOI: https://doi.org/10.3969/j.issn.1007-0249.2006.04.014
2006-01-01
Abstract: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.
What problem does this paper attempt to address?