Inproceedings,

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

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

Meta data

Tags

Users

  • @dblp

Comments and Reviews