Login / Signup
BMC-Based Temperature-Aware SBST for Worst-Case Delay Fault Testing Under High Temperature.
Ying Zhang
Yi Ding
Zebo Peng
Huawei Li
Masahiro Fujita
Jianhui Jiang
Published in:
IEEE Trans. Very Large Scale Integr. Syst. (2022)
Keyphrases
</>
high temperature
worst case
fault diagnosis
fault model
upper bound
average case
lower bound
fault detection
error bounds
np hard
diesel engine
greedy algorithm
approximation algorithms
test suite
test cases
multiple faults
silicon dioxide