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

@inproceedings{pub8512,
    author = {

Herdt, Vladimir
 and 

Le, Hoang M.
 and 

Große, Daniel
 and 

Drechsler, Rolf
},
    title = {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},
    booktitle = {Forum on specification & Design Languages. Forum on Specification & Design Languages (FDL), September 14-16, Bremen, Germany},
    year = {2016}
}