On the application of formal fault localization to automated RTL-to-TLM fault correspondence analysis for fast and accurate VP-based error effect simulation - a case study
Keyword(s):
2008 ◽
Vol 35
(8)
◽
pp. 901-908
◽
2018 ◽
Vol 4
(3-4)
◽
pp. 258
Keyword(s):
1993 ◽
pp. 853-864
◽
2001 ◽
Vol 22
(4)
◽
pp. 345-350
◽
Keyword(s):
2016 ◽
Vol 22
(3)
◽
pp. 145-150
Keyword(s):