Concurrent Fault Detection Using a Watchdog Processor and Assertions.

Aamer Mahmood, Edward J. McCluskey, David J. Lu

Browse the full ITC paper archive.