SAT-based capture-power reduction for at-speed broadcast-scan-based test compression architectures

  • Authors:
  • Michael A. Kochte;Kohei Miyase;Xiaoqing Wen;Seiji Kajihara;Yuta Yamato;Kazunari Enokimoto;Hans-Joachim Wunderlich

  • Affiliations:
  • University of Stuttgart, Stuttgart, Germany;Kyushu Institute of Technology, Iizuka, Japan;Kyushu Institute of Technology, Iizuka, Japan;Kyushu Institute of Technology, Iizuka, Japan;Fukuoka Industry, Science and Technology Foundation, Fukuoka, Japan;Kyushu Institute of Technology, Iizuka, Japan;University of Stuttgart, Stuttgart, Germany

  • Venue:
  • Proceedings of the 17th IEEE/ACM international symposium on Low-power electronics and design
  • Year:
  • 2011

Quantified Score

Hi-index 0.00

Visualization

Abstract

Excessive power dissipation during VLSI testing results in over-testing, yield loss and heat damage of the device. For low power devices with advanced power management features and more stringent power budgets, power-aware testing is even more mandatory. Effective and efficient test set post-processing techniques based on X-identification and power-aware X-filling have been proposed for external and embedded deterministic test. This work proposes a novel X-filling algorithm for combinational and broadcast-scan-based test compression schemes which have great practical significance. The algorithm ensures compressibility of test cubes using a SAT-based check. Compared to methods based on opological justification, the solution space of the compressed test vector is not pruned early during the search. Thus, this method allows much more precise low-power X-filling of test vectors. Experiments on benchmark and industrial circuits show the applicability to capture-power reduction during scan testing.