Debugging in the brave new world of reconfigurable hardware