Proof-carrying hardware showcased at DATE 2019.
Zakarya Guetattfi et al. got their conference paper accepted at RAW2019.
Linus Witschen et al. got their conference paper accepted at GLSVLSI ’19.
Linus Witschen et al. got their conference paper accepted at AxC 2019.
Tobias Wiersema got his PhD Forum paper accepted at DATE 2019.
Tim Hansmeier et al. got their paper on accelerating resolution proof checking accepted.
Marco Platzner presented transfer project with Weidmüller.
Marco Platzner presented joint rSoC projects with Weidmüller at edaForum18.
The Computer Engineering Group welcomed Prof. Brent Nelson from BYU.
The Computer Engineering Group welcomes Lennart Clausing as new Research Associate!
Nam Ho successfully defended his dissertation on "FPGA-based Reconfigurable Cache Mapping Schemes: Design and Optimization”.
Muhammad Awais et al. got their conference paper accepted at VLSI-SOC 2018.
Great distinction for one of our Student Research Assistants.
Boschmann et al. got a paper on Zynq-based prosthesis control accepted.
Achim Lösch and Marco Platzner got their conference paper accepted at ASAP 2018.
