Back-Traced Deductive-Parallel Fault Simulation for Digital Systems.

Vladimir Hahanov, Raimund Ubar, Stanley Hyduke

Browse the full DSD paper archive.