Static variable ordering in ZBDDs for path delay fault coverage calculation

Author(s):  
F. Kocan ◽  
M. Gunes ◽  
M.A. Thornton
Author(s):  
Keerthi Heragu ◽  
Michael L. Bushnell ◽  
Vishwani D. Agrawal

Sign in / Sign up

Export Citation Format

Share Document