Emulation-based Design Errors Identification