Arithmetic built-in self test for high-level synthesis. - Nilanjan Mukherjee 001; H. Kassab; Janusz Rajski; Jerzy Tyszer (VTS, 1995)