Tobias Wiersema, Sen Wu, Marco Platzner. On-The-Fly Verification of Reconfigurable Image Processing Modules Based on a Proof-Carrying Hardware Approach. In Kentaro Sano, Dimitrios Soudris, Michael Hübner, Pedro C. Diniz, editors, Applied Reconfigurable Computing - 11th International Symposium, ARC 2015, Bochum, Germany, April 13-17, 2015, Proceedings. Volume 9040 of Lecture Notes in Computer Science, pages 365-372, Springer, 2015. [doi]
Abstract is missing.