Unsatisfiability Based Efficient Design for Testability Solution for Register-Transfer Level Circuits
2007 ◽
Vol 26
(7)
◽
pp. 1339-1345
◽
2008 ◽
Vol 27
(9)
◽
pp. 1535-1544
◽
1998 ◽
Vol 17
(8)
◽
pp. 706-723
◽
Keyword(s):
Keyword(s):
Keyword(s):
2011 ◽
Vol 2
(4)
◽
pp. 61-68
Keyword(s):