Mark Genoe, Luc J. M. Claesen, Hugo De Man: A Parallel Method for Functional Verification of Medium and High Throughput DSP Synthesis. ICCD 1994: 460-463