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 Groe, Rolf Drechsler

Browse the full FDL paper archive.