A method is provided for verifying functional correctness of a device driver for a controller hardware component being emulated in an emulation environment including a virtual processor. The method includes providing a communication device in the emulation environment. The communication device receives at least one execution condition and an error injection command from a communication device driver associated with the communication device. The controller hardware component executes device operation commands received from the device driver. Based on the communication device determining that the at least one execution condition is fulfilled while the device operation commands are executed, the method provides for the communication device to: halt the operation of the virtual processor; inject an error into the controller hardware component by executing the error injection command; and resume the operation of the virtual processor.