SymSim: symbolic fault simulation of data-flow data-path designs at the Register-Transfer level.

Sitaran Yadavalli, Sudhakar M. Reddy

Browse the full ITC paper archive.