A heterogeneous functional verification platform. - Amir Hekmatpour; Charles Alley; Brian Stempel; James Coulter; Azadeh Salehi; Arash Shafie; Chloe Palenchar (CICC, 2005)