On-The-Fly Verification of Reconfigurable Image Processing Modules Based on a Proof-Carrying Hardware Approach. - Tobias Wiersema; Sen Wu 005; Marco Platzner (ARC, 2015)