Concurrent testing in high-level synthesis. - Ravibala Singh; John Knight (HLSS, 1994)