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

Vladimir Herdt, Hoang M. Le, Daniel Große, Rolf Drechsler

In: Forum on specification & Design Languages. Forum on Specification & Design Languages (FDL) September 14-16 Bremen Germany 2016.

Deutsches Forschungszentrum für Künstliche Intelligenz
German Research Center for Artificial Intelligence