Static variable ordering in ZBDDs for path delay fault coverage calculation
Keyword(s):
2003 ◽
Vol 22
(3)
◽
pp. 305-316
◽
2020 ◽
Vol 28
(2)
◽
pp. 544-552
Keyword(s):
1999 ◽
Vol 18
(5)
◽
pp. 665-666
2005 ◽
Vol 24
(7)
◽
pp. 1137-1143
◽