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):