Accelerators and emulators: Can they become the platform of choice for hardware verification?Bashir Al-HashimiRonny Morad2012DATE 2012