@dblp

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

, and . ITC, page 606-615. IEEE Computer Society, (1999)

Links and resources

Tags