Efficient Programming of Reconfigurable Hardware 
through Direct Verification
Kevin Camera, Ph.D. 2006 

Significantly higher power efficiency and computation density can be achieved by directly mapping algorithms onto field-programmable logic instead of executing software on some form of processor. The primary disadvantages of such a platform are the time-consuming physical implementation flow and the difficulty of verifying and debugging the final hardware design. This research helps to solve these problems with a methodology for direct design verification on the hardware, minimizing iterations through the implementation flow and fully utilizing the hardware to assist debugging in real-time as opposed to in simulation.