Verifying worst-case completion times for reconfigurable hardware modules using proof-carrying hardware | IEEE Conference Publication | IEEE Xplore