Jul 20, 2022 · This article presents a bounded model checking (BMC)-based temperature-aware software-based self-testing (SBST) technique to test worst case delay faults ...
guarantees that the test temperature is within the specified range during testing and successfully detects the worst case delay faults under high temperature.
Experimental results demonstrate that the proposed SBST technique achieves an extremely high coverage for delay faults and effectively avoids yield loss ...
This article presents a bounded model checking (BMC)-based temperature-aware software-based self-testing (SBST) technique to test worst case delay faults ...
BMC-Based Temperature-Aware SBST for Worst-Case Delay Fault Testing Under High Temperature. Ying Zhang 0040, Yi Ding, Zebo Peng, Huawei Li, Masahiro Fujita, ...
Bibliographic details on BMC-Based Temperature-Aware SBST for Worst-Case Delay Fault Testing Under High Temperature.
BMC-Based Temperature-Aware SBST for Worst-Case Delay Fault Testing Under High Temperature ... The BMC-based SBST method first defines the sequential constraint.
A temperature-aware software-based self-testing (SBST) technique is proposed to self-heat the processors within a high temperature range and effectively ...
BMC-Based Temperature-Aware SBST for Worst-Case Delay Fault Testing Under High Temperature. DOI · Ying Zhang · Yi Ding · Zebo Peng · Huawei Li · Masahiro Fujita.
In this paper, temperature-aware SBST is proposed that self-heats the processors to a high temperature range and effectively tests transition delay faults under ...
Missing: BMC- | Show results with:BMC-