Thomas J Watson Research Center, IBM IBM | 19-20 August 2008 | M. Kapur © 2008 IBM Corporation FPGA-based acceleration platform for chip verification RAMP.