Guaranteeing properties of reconfigurable hardware circuits with proof-carrying hardware / by Tobias Wiersema ; [Supervisor: Prof. Dr. Marco Platzner, Reviewers: Prof. Dr. Marco Platzner, Prof. Dr. Heike Wehrheim, Prof. Dr. David Andrews]