Symbolic quick error detection using symbolic initial state for pre-silicon verification
1975 ◽
Vol 33
◽
pp. 46-47
Keyword(s):
1992 ◽
Vol 139
(2)
◽
pp. 123
◽
2002 ◽
Vol 42
(1-4)
◽
pp. 195-202
Keyword(s):
2012 ◽
Vol 8
(1)
◽
pp. 37-48
Keyword(s):
2014 ◽
Vol 62
(1)
◽
pp. 129-137