A Parallel Method for Functional Verification of Medium and High Throughput DSP Synthesis.

Mark Genoe, Luc J. M. Claesen, Hugo De Man

Browse the full ICCD paper archive.