Robust partitioning for hardware-accelerated functional verification.

Michael D. Moffitt, Mtys A. Sustik, Paul G. Villarrubia

Browse the full DAC paper archive.