Arithmetic built-in self test for high-level synthesis
Nilanjan Mukherjee, H. Kassab, Janusz Rajski, Jerzy Tyszer · 2002
In this paper, we propose an entirely new Built-in Self Test scheme for high-level synthesis of data path architectures that makes use of the arithmetic blocks in the data path to generate test vectors and compact test responses. The paper employs state coverage to evaluate testability in an abstract level, and subsequently, use it to guide the synthesis of testable circuits.