Functional test of small-delay faults using SAT and Craig interpolation
2019 ◽
Vol 28
(supp01)
◽
pp. 1940001
Keyword(s):
1998 ◽
Vol 3
(2)
◽
pp. 231-248
◽
2018 ◽
Vol 37
(10)
◽
pp. 2087-2097
◽