setPixelMask needs to be private since also the device hast to be programmed.
Need to implement separate API call for that updating both device and DUT struct.
HAL: new mask functions for single pixel and full ROC. I have no idea how to un-mask
it again, have to investigate...