A high-level fault model with bit-wise data constraints generates SBST programs for RISC execute units that reach 99.02 percent gate-level SAF coverage on MiniMIPS, outperforming a commercial ATPG's 97.73 percent in the reported experiment.
A flexible framework for the automatic generation of SBST programs
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
cs.AR 1years
2019 1verdicts
CONDITIONAL 1representative citing papers
citing papers explorer
-
High-Level Combined Deterministic and Pseudoexhuastive Test Generation for RISC Processors
A high-level fault model with bit-wise data constraints generates SBST programs for RISC execute units that reach 99.02 percent gate-level SAF coverage on MiniMIPS, outperforming a commercial ATPG's 97.73 percent in the reported experiment.