Enhanced Compiler Technology for Software-based Hardware Fault Detection

Publication
ACM TRANSACTIONS ON DESIGN AUTOMATION OF ELECTRONIC SYSTEMS