Embedding FPGA overlays into configurable systems-on-chip: ReconOS meets ZUMA T Wiersema, A Bockhorn, M Platzner 2014 International Conference on ReConFigurable Computing and FPGAs …, 2014 | 34 | 2014 |
CIRCA: Towards a modular and extensible framework for approximate circuit generation L Witschen, M Awais, HG Mohammadi, T Wiersema, M Platzner Microelectronics Reliability 99, 277-290, 2019 | 23 | 2019 |
Cooperative multitasking for heterogeneous accelerators in the linux completely fair scheduler T Beisel, T Wiersema, C Plessl, A Brinkmann ASAP 2011-22nd IEEE International Conference on Application-specific Systems …, 2011 | 23 | 2011 |
Memory security in reconfigurable computers: Combining formal verification with monitoring T Wiersema, S Drzevitzky, M Platzner 2014 International Conference on Field-Programmable Technology (FPT), 167-174, 2014 | 17 | 2014 |
Programming and scheduling model for supporting heterogeneous accelerators in Linux T Beisel, T Wiersema, C Plessl, A Brinkmann Proceedings of the 3rd Workshop on Computer Architecture and Operating …, 2012 | 15 | 2012 |
Malicious routing: Circumventing bitstream-level verification for FPGAs QA Ahmed, T Wiersema, M Platzner 2021 Design, Automation & Test in Europe Conference & Exhibition (DATE …, 2021 | 11 | 2021 |
Proof-carrying hardware versus the stealthy malicious LUT hardware Trojan QA Ahmed, T Wiersema, M Platzner International Symposium on Applied Reconfigurable Computing, 127-136, 2019 | 9 | 2019 |
Proof-carrying hardware via inductive invariants T Isenberg, M Platzner, H Wehrheim, T Wiersema ACM Transactions on Design Automation of Electronic Systems (TODAES) 22 (4 …, 2017 | 9 | 2017 |
MUSCAT: MUS-based circuit approximation technique L Witschen, T Wiersema, M Artmann, M Platzner 2022 Design, Automation & Test in Europe Conference & Exhibition (DATE), 172-177, 2022 | 8 | 2022 |
An architecture and design tool flow for embedding a virtual FPGA into a reconfigurable system-on-chip T Wiersema, A Bockhorn, M Platzner Computers & Electrical Engineering 55, 112-122, 2016 | 8 | 2016 |
Software/hardware co-verification for custom instruction set processors MC Jakobs, F Pauck, M Platzner, H Wehrheim, T Wiersema IEEE Access 9, 160559-160579, 2021 | 5 | 2021 |
Verifying worst-case completion times for reconfigurable hardware modules using proof-carrying hardware T Wiersema, M Platzner 2016 11th International Symposium on Reconfigurable Communication-centric …, 2016 | 5 | 2016 |
Integrating software and hardware verification MC Jakobs, M Platzner, H Wehrheim, T Wiersema International Conference on Integrated Formal Methods, 307-322, 2014 | 4 | 2014 |
Proof-Carrying Approximate Circuits L Witschen, T Wiersema, M Platzner IEEE Transactions on Very Large Scale Integration (VLSI) Systems 28 (9 …, 2020 | 3 | 2020 |
Making the Case for Proof-carrying Approximate Circuits L Witschen, T Wiersema, M Platzner 4th Workshop on Approximate Computing (WAPCO’18), 2018 | 3 | 2018 |
On-the-fly verification of reconfigurable image processing modules based on a proof-carrying hardware approach T Wiersema, S Wu, M Platzner International Symposium on Applied Reconfigurable Computing, 365-372, 2015 | 3 | 2015 |
Search space characterization for approximate logic synthesis L Witschen, T Wiersema, L Reuter, M Platzner Proceedings of the 59th ACM/IEEE Design Automation Conference, 433-438, 2022 | 2 | 2022 |
Timing Optimization for Virtual FPGA Configurations L Witschen, T Wiersema, MR Nafchi, A Bockhorn, M Platzner International Symposium on Applied Reconfigurable Computing, 50-64, 2021 | 1 | 2021 |
Guaranteeing Properties of Reconfigurable Hardware Circuits with Proof-Carrying Hardware T Wiersema Paderborn University, 2021 | 1 | 2021 |
Search Space Characterization for AxC Synthesis LM Witschen, T Wiersema, M Platzner Fifth Workshop on Approximate Computing (AxC 2020), 2020 | 1 | 2020 |