Are today's verification tools able to handle current design challenges?
Keyword(s):
2016 ◽
Vol 27
(3)
◽
pp. 407-430
◽
Keyword(s):
1996 ◽
Vol 34
(3-4)
◽
pp. 405-412
◽