[{"user_id":"49992","department":[{"_id":"78"}],"_id":"12967","language":[{"iso":"eng"}],"type":"journal_article","publication":"Journal of Signal Processing Systems","status":"public","abstract":[{"lang":"eng","text":"Modern Boolean satisfiability solvers can emit proofs of unsatisfiability. There is substantial interest in being able to verify such proofs and also in using them for further computations. In this paper, we present an FPGA accelerator for checking resolution proofs, a popular proof format. Our accelerator exploits parallelism at the low level by implementing the basic resolution step in hardware, and at the high level by instantiating a number of parallel modules for proof checking. Since proof checking involves highly irregular memory accesses, we employ Hybrid Memory Cube technology for accelerator memory. The results show that while the accelerator is scalable and achieves speedups for all benchmark proofs, performance improvements are currently limited by the overhead of transitioning the proof into the accelerator memory."}],"date_created":"2019-08-26T13:41:57Z","author":[{"first_name":"Tim","orcid":"0000-0003-1377-3339","last_name":"Hansmeier","id":"49992","full_name":"Hansmeier, Tim"},{"first_name":"Marco","full_name":"Platzner, Marco","id":"398","last_name":"Platzner"},{"last_name":"Pantho","full_name":"Pantho, Md Jubaer Hossain","first_name":"Md Jubaer Hossain"},{"full_name":"Andrews, David","last_name":"Andrews","first_name":"David"}],"volume":91,"date_updated":"2022-01-06T06:51:27Z","doi":"10.1007/s11265-018-1435-y","title":"An Accelerator for Resolution Proof Checking based on FPGA and Hybrid Memory Cube Technology","issue":"11","publication_status":"published","publication_identifier":{"issn":["1939-8018","1939-8115"]},"citation":{"apa":"Hansmeier, T., Platzner, M., Pantho, M. J. H., &#38; Andrews, D. (2019). An Accelerator for Resolution Proof Checking based on FPGA and Hybrid Memory Cube Technology. <i>Journal of Signal Processing Systems</i>, <i>91</i>(11), 1259–1272. <a href=\"https://doi.org/10.1007/s11265-018-1435-y\">https://doi.org/10.1007/s11265-018-1435-y</a>","bibtex":"@article{Hansmeier_Platzner_Pantho_Andrews_2019, title={An Accelerator for Resolution Proof Checking based on FPGA and Hybrid Memory Cube Technology}, volume={91}, DOI={<a href=\"https://doi.org/10.1007/s11265-018-1435-y\">10.1007/s11265-018-1435-y</a>}, number={11}, journal={Journal of Signal Processing Systems}, author={Hansmeier, Tim and Platzner, Marco and Pantho, Md Jubaer Hossain and Andrews, David}, year={2019}, pages={1259–1272} }","mla":"Hansmeier, Tim, et al. “An Accelerator for Resolution Proof Checking Based on FPGA and Hybrid Memory Cube Technology.” <i>Journal of Signal Processing Systems</i>, vol. 91, no. 11, 2019, pp. 1259–72, doi:<a href=\"https://doi.org/10.1007/s11265-018-1435-y\">10.1007/s11265-018-1435-y</a>.","short":"T. Hansmeier, M. Platzner, M.J.H. Pantho, D. Andrews, Journal of Signal Processing Systems 91 (2019) 1259–1272.","ama":"Hansmeier T, Platzner M, Pantho MJH, Andrews D. An Accelerator for Resolution Proof Checking based on FPGA and Hybrid Memory Cube Technology. <i>Journal of Signal Processing Systems</i>. 2019;91(11):1259-1272. doi:<a href=\"https://doi.org/10.1007/s11265-018-1435-y\">10.1007/s11265-018-1435-y</a>","ieee":"T. Hansmeier, M. Platzner, M. J. H. Pantho, and D. Andrews, “An Accelerator for Resolution Proof Checking based on FPGA and Hybrid Memory Cube Technology,” <i>Journal of Signal Processing Systems</i>, vol. 91, no. 11, pp. 1259–1272, 2019.","chicago":"Hansmeier, Tim, Marco Platzner, Md Jubaer Hossain Pantho, and David Andrews. “An Accelerator for Resolution Proof Checking Based on FPGA and Hybrid Memory Cube Technology.” <i>Journal of Signal Processing Systems</i> 91, no. 11 (2019): 1259–72. <a href=\"https://doi.org/10.1007/s11265-018-1435-y\">https://doi.org/10.1007/s11265-018-1435-y</a>."},"page":"1259 - 1272","intvolume":"        91","year":"2019"},{"department":[{"_id":"78"}],"series_title":"Advances in Nature and Biologically Inspired Computing","user_id":"398","_id":"15422","language":[{"iso":"eng"}],"publication":"World Congress on Nature and Biologically Inspired Computing (NaBIC)","type":"conference","status":"public","date_created":"2019-12-30T13:55:49Z","author":[{"first_name":"Nam","last_name":"Ho","full_name":"Ho, Nam"},{"first_name":"Paul","full_name":"Kaufmann, Paul","last_name":"Kaufmann"},{"first_name":"Marco","full_name":"Platzner, Marco","id":"398","last_name":"Platzner"}],"date_updated":"2022-01-06T06:52:25Z","publisher":"Springer","title":"Optimization of Application-specific L1 Cache Translation Functions of the LEON3 Processor","citation":{"short":"N. Ho, P. Kaufmann, M. Platzner, in: World Congress on Nature and Biologically Inspired Computing (NaBIC), Springer, 2019.","mla":"Ho, Nam, et al. “Optimization of Application-Specific L1 Cache Translation Functions of the LEON3 Processor.” <i>World Congress on Nature and Biologically Inspired Computing (NaBIC)</i>, Springer, 2019.","bibtex":"@inproceedings{Ho_Kaufmann_Platzner_2019, series={Advances in Nature and Biologically Inspired Computing}, title={Optimization of Application-specific L1 Cache Translation Functions of the LEON3 Processor}, booktitle={World Congress on Nature and Biologically Inspired Computing (NaBIC)}, publisher={Springer}, author={Ho, Nam and Kaufmann, Paul and Platzner, Marco}, year={2019}, collection={Advances in Nature and Biologically Inspired Computing} }","apa":"Ho, N., Kaufmann, P., &#38; Platzner, M. (2019). Optimization of Application-specific L1 Cache Translation Functions of the LEON3 Processor. In <i>World Congress on Nature and Biologically Inspired Computing (NaBIC)</i>. Springer.","ama":"Ho N, Kaufmann P, Platzner M. Optimization of Application-specific L1 Cache Translation Functions of the LEON3 Processor. In: <i>World Congress on Nature and Biologically Inspired Computing (NaBIC)</i>. Advances in Nature and Biologically Inspired Computing. Springer; 2019.","chicago":"Ho, Nam, Paul Kaufmann, and Marco Platzner. “Optimization of Application-Specific L1 Cache Translation Functions of the LEON3 Processor.” In <i>World Congress on Nature and Biologically Inspired Computing (NaBIC)</i>. Advances in Nature and Biologically Inspired Computing. Springer, 2019.","ieee":"N. Ho, P. Kaufmann, and M. Platzner, “Optimization of Application-specific L1 Cache Translation Functions of the LEON3 Processor,” in <i>World Congress on Nature and Biologically Inspired Computing (NaBIC)</i>, 2019."},"year":"2019"},{"language":[{"iso":"eng"}],"_id":"15883","department":[{"_id":"78"}],"user_id":"61186","status":"public","type":"mastersthesis","title":"Incremental learning with Support Vector Machine on embedded platforms","date_updated":"2022-01-06T06:52:39Z","supervisor":[{"first_name":"Hassan","id":"61186","full_name":"Ghasemzadeh Mohammadi, Hassan","last_name":"Ghasemzadeh Mohammadi"}],"date_created":"2020-02-11T16:43:38Z","author":[{"first_name":"Shankar","full_name":"Kumar Jeyakumar, Shankar","last_name":"Kumar Jeyakumar"}],"year":"2019","citation":{"short":"S. Kumar Jeyakumar, Incremental Learning with Support Vector Machine on Embedded Platforms, 2019.","mla":"Kumar Jeyakumar, Shankar. <i>Incremental Learning with Support Vector Machine on Embedded Platforms</i>. 2019.","bibtex":"@book{Kumar Jeyakumar_2019, title={Incremental learning with Support Vector Machine on embedded platforms}, author={Kumar Jeyakumar, Shankar}, year={2019} }","apa":"Kumar Jeyakumar, S. (2019). <i>Incremental learning with Support Vector Machine on embedded platforms</i>.","ieee":"S. Kumar Jeyakumar, <i>Incremental learning with Support Vector Machine on embedded platforms</i>. 2019.","chicago":"Kumar Jeyakumar, Shankar. <i>Incremental Learning with Support Vector Machine on Embedded Platforms</i>, 2019.","ama":"Kumar Jeyakumar S. <i>Incremental Learning with Support Vector Machine on Embedded Platforms</i>.; 2019."}},{"user_id":"477","department":[{"_id":"78"}],"project":[{"name":"SFB 901 - Subproject B4","_id":"12"},{"_id":"3","name":"SFB 901 - Project Area B"},{"name":"SFB 901","_id":"1"}],"_id":"15920","language":[{"iso":"eng"}],"type":"mastersthesis","status":"public","abstract":[{"lang":"eng","text":"Secure hardware design is the most important aspect to be considered in addition to functional correctness. Achieving hardware security in today’s globalized Integrated Cir- cuit(IC) supply chain is a challenging task. One solution that is widely considered to help achieve secure hardware designs is Information Flow Tracking(IFT). It provides an ap- proach to verify that the systems adhere to security properties either by static verification during design phase or dynamic checking during runtime.\r\nProof-Carrying Hardware(PCH) is an approach to verify a functional design prior to using it in hardware. It is a two-party verification approach, where the target party, the consumer requests new functionalities with pre-defined properties to the producer. In response, the producer designs the IP (Intellectual Property) cores with the requested functionalities that adhere to the consumer-defined properties. The producer provides the IP cores and a proof certificate combined into a proof-carrying bitstream to the consumer to verify it. If the verification is successful, the consumer can use the IP cores in his hardware. In essence, the consumer can only run verified IP cores. Correctly applied, PCH techniques can help consumers to defend against many unintentional modifications and malicious alterations of the modules they receive. There are numerous published examples of how to use PCH to detect any change in the functionality of a circuit, i.e., pairing a PCH approach with functional equivalence checking for combinational or sequential circuits. For non-functional properties, since opening new covert channels to leak secret information from secure circuits is a viable attack vector for hardware trojans, i.e., intentionally added malicious circuitry, IFT technique is employed to make sure that secret/untrusted information never reaches any unclassified/trusted outputs.\r\nThis master thesis aims to explore the possibility of adapting Information Flow Tracking into a Proof-Carrying Hardware scenario. It aims to create a method that combines Infor- mation Flow Tracking(IFT) with a PCH approach at bitstream level enabling consumers to validate the trustworthiness of a module’s information flow without the computational costs of a complete flow analysis."}],"date_created":"2020-02-17T12:03:40Z","supervisor":[{"last_name":"Wiersema","id":"3118","full_name":"Wiersema, Tobias","first_name":"Tobias"},{"id":"398","full_name":"Platzner, Marco","last_name":"Platzner","first_name":"Marco"},{"first_name":"Sybille","full_name":"Hellebrand, Sybille","id":"209","orcid":"0000-0002-3717-3939","last_name":"Hellebrand"}],"author":[{"full_name":"Keerthipati, Monica","last_name":"Keerthipati","first_name":"Monica"}],"date_updated":"2022-01-06T06:52:41Z","publisher":"Universität Paderborn","title":"A Bitstream-Level Proof-Carrying Hardware Technique for Information Flow Tracking","citation":{"chicago":"Keerthipati, Monica. <i>A Bitstream-Level Proof-Carrying Hardware Technique for Information Flow Tracking</i>. Universität Paderborn, 2019.","ieee":"M. Keerthipati, <i>A Bitstream-Level Proof-Carrying Hardware Technique for Information Flow Tracking</i>. Universität Paderborn, 2019.","ama":"Keerthipati M. <i>A Bitstream-Level Proof-Carrying Hardware Technique for Information Flow Tracking</i>. Universität Paderborn; 2019.","short":"M. Keerthipati, A Bitstream-Level Proof-Carrying Hardware Technique for Information Flow Tracking, Universität Paderborn, 2019.","bibtex":"@book{Keerthipati_2019, title={A Bitstream-Level Proof-Carrying Hardware Technique for Information Flow Tracking}, publisher={Universität Paderborn}, author={Keerthipati, Monica}, year={2019} }","mla":"Keerthipati, Monica. <i>A Bitstream-Level Proof-Carrying Hardware Technique for Information Flow Tracking</i>. Universität Paderborn, 2019.","apa":"Keerthipati, M. (2019). <i>A Bitstream-Level Proof-Carrying Hardware Technique for Information Flow Tracking</i>. Universität Paderborn."},"year":"2019"},{"year":"2019","citation":{"apa":"Sabu, N. S. (2019). <i>FPGA Acceleration of String Search Techniques in Huge Data Sets</i>. Paderborn University.","short":"N.S. Sabu, FPGA Acceleration of String Search Techniques in Huge Data Sets, Paderborn University, 2019.","bibtex":"@book{Sabu_2019, title={FPGA Acceleration of String Search Techniques in Huge Data Sets}, publisher={Paderborn University}, author={Sabu, Nithin S.}, year={2019} }","mla":"Sabu, Nithin S. <i>FPGA Acceleration of String Search Techniques in Huge Data Sets</i>. Paderborn University, 2019.","ieee":"N. S. Sabu, <i>FPGA Acceleration of String Search Techniques in Huge Data Sets</i>. Paderborn University, 2019.","chicago":"Sabu, Nithin S. <i>FPGA Acceleration of String Search Techniques in Huge Data Sets</i>. Paderborn University, 2019.","ama":"Sabu NS. <i>FPGA Acceleration of String Search Techniques in Huge Data Sets</i>. Paderborn University; 2019."},"title":"FPGA Acceleration of String Search Techniques in Huge Data Sets","date_updated":"2022-01-06T06:52:07Z","publisher":"Paderborn University","author":[{"full_name":"Sabu, Nithin S.","last_name":"Sabu","first_name":"Nithin S."}],"date_created":"2019-11-06T12:06:09Z","supervisor":[{"last_name":"Platzner","full_name":"Platzner, Marco","id":"398","first_name":"Marco"},{"last_name":"Böttcher","full_name":"Böttcher, Stefan","first_name":"Stefan"},{"first_name":"Tobias","last_name":"Wiersema","full_name":"Wiersema, Tobias","id":"3118"}],"status":"public","type":"mastersthesis","language":[{"iso":"eng"}],"_id":"14831","user_id":"3118","department":[{"_id":"78"}]},{"status":"public","type":"mastersthesis","language":[{"iso":"eng"}],"user_id":"398","department":[{"_id":"78"}],"_id":"15946","citation":{"bibtex":"@book{Mehta_2019, title={Multithreaded Software/Hardware Programming with ReconOS/freeRTOS on a Recon􏰃gurable System-on-Chip}, author={Mehta, Jinay}, year={2019} }","mla":"Mehta, Jinay. <i>Multithreaded Software/Hardware Programming with ReconOS/FreeRTOS on a Recon􏰃gurable System-on-Chip</i>. 2019.","short":"J. Mehta, Multithreaded Software/Hardware Programming with ReconOS/FreeRTOS on a Recon􏰃gurable System-on-Chip, 2019.","apa":"Mehta, J. (2019). <i>Multithreaded Software/Hardware Programming with ReconOS/freeRTOS on a Recon􏰃gurable System-on-Chip</i>.","chicago":"Mehta, Jinay. <i>Multithreaded Software/Hardware Programming with ReconOS/FreeRTOS on a Recon􏰃gurable System-on-Chip</i>, 2019.","ieee":"J. Mehta, <i>Multithreaded Software/Hardware Programming with ReconOS/freeRTOS on a Recon􏰃gurable System-on-Chip</i>. 2019.","ama":"Mehta J. <i>Multithreaded Software/Hardware Programming with ReconOS/FreeRTOS on a Recon􏰃gurable System-on-Chip</i>.; 2019."},"year":"2019","title":"Multithreaded Software/Hardware Programming with ReconOS/freeRTOS on a Recon􏰃gurable System-on-Chip","supervisor":[{"first_name":"Marco","last_name":"Platzner","full_name":"Platzner, Marco"}],"author":[{"first_name":"Jinay","last_name":"Mehta","full_name":"Mehta, Jinay"}],"date_created":"2020-02-20T14:47:12Z","date_updated":"2022-01-06T06:52:41Z"},{"title":"Autonomous Operation of High-Performance Compute Nodes through Self-Awareness and Learning Classifiers","publisher":"Universität Paderborn","date_updated":"2022-01-06T06:52:02Z","author":[{"first_name":"Tim","full_name":"Hansmeier, Tim","id":"49992","orcid":"0000-0003-1377-3339","last_name":"Hansmeier"}],"date_created":"2019-11-05T14:32:46Z","supervisor":[{"last_name":"Platzner","full_name":"Platzner, Marco","id":"398","first_name":"Marco"}],"year":"2019","citation":{"apa":"Hansmeier, T. (2019). <i>Autonomous Operation of High-Performance Compute Nodes through Self-Awareness and Learning Classifiers</i>. Universität Paderborn.","bibtex":"@book{Hansmeier_2019, title={Autonomous Operation of High-Performance Compute Nodes through Self-Awareness and Learning Classifiers}, publisher={Universität Paderborn}, author={Hansmeier, Tim}, year={2019} }","mla":"Hansmeier, Tim. <i>Autonomous Operation of High-Performance Compute Nodes through Self-Awareness and Learning Classifiers</i>. Universität Paderborn, 2019.","short":"T. Hansmeier, Autonomous Operation of High-Performance Compute Nodes through Self-Awareness and Learning Classifiers, Universität Paderborn, 2019.","ama":"Hansmeier T. <i>Autonomous Operation of High-Performance Compute Nodes through Self-Awareness and Learning Classifiers</i>. Universität Paderborn; 2019.","chicago":"Hansmeier, Tim. <i>Autonomous Operation of High-Performance Compute Nodes through Self-Awareness and Learning Classifiers</i>. Universität Paderborn, 2019.","ieee":"T. Hansmeier, <i>Autonomous Operation of High-Performance Compute Nodes through Self-Awareness and Learning Classifiers</i>. Universität Paderborn, 2019."},"language":[{"iso":"eng"}],"_id":"14546","project":[{"_id":"14","name":"SFB 901 - Subproject C2"},{"name":"SFB 901 - Project Area C","_id":"4"},{"name":"SFB 901","_id":"1"}],"department":[{"_id":"78"},{"_id":"34"},{"_id":"7"}],"user_id":"477","status":"public","type":"mastersthesis"},{"publication_status":"published","year":"2019","citation":{"mla":"Guettatfi, Zakarya, et al. “An Approach for Mapping Periodic Real-Time Tasks to Reconfigurable Hardware.” <i>2019 IEEE International Parallel and Distributed Processing Symposium Workshops (IPDPSW)</i>, IEEE, 2019, doi:<a href=\"https://doi.org/10.1109/ipdpsw.2019.00027\">10.1109/ipdpsw.2019.00027</a>.","bibtex":"@inproceedings{Guettatfi_Platzner_Kermia_Khouas_2019, title={An Approach for Mapping Periodic Real-Time Tasks to Reconfigurable Hardware}, DOI={<a href=\"https://doi.org/10.1109/ipdpsw.2019.00027\">10.1109/ipdpsw.2019.00027</a>}, booktitle={2019 IEEE International Parallel and Distributed Processing Symposium Workshops (IPDPSW)}, publisher={IEEE}, author={Guettatfi, Zakarya and Platzner, Marco and Kermia, Omar and Khouas, Abdelhakim}, year={2019} }","short":"Z. Guettatfi, M. Platzner, O. Kermia, A. Khouas, in: 2019 IEEE International Parallel and Distributed Processing Symposium Workshops (IPDPSW), IEEE, 2019.","apa":"Guettatfi, Z., Platzner, M., Kermia, O., &#38; Khouas, A. (2019). An Approach for Mapping Periodic Real-Time Tasks to Reconfigurable Hardware. <i>2019 IEEE International Parallel and Distributed Processing Symposium Workshops (IPDPSW)</i>. <a href=\"https://doi.org/10.1109/ipdpsw.2019.00027\">https://doi.org/10.1109/ipdpsw.2019.00027</a>","ama":"Guettatfi Z, Platzner M, Kermia O, Khouas A. An Approach for Mapping Periodic Real-Time Tasks to Reconfigurable Hardware. In: <i>2019 IEEE International Parallel and Distributed Processing Symposium Workshops (IPDPSW)</i>. IEEE; 2019. doi:<a href=\"https://doi.org/10.1109/ipdpsw.2019.00027\">10.1109/ipdpsw.2019.00027</a>","chicago":"Guettatfi, Zakarya, Marco Platzner, Omar Kermia, and Abdelhakim Khouas. “An Approach for Mapping Periodic Real-Time Tasks to Reconfigurable Hardware.” In <i>2019 IEEE International Parallel and Distributed Processing Symposium Workshops (IPDPSW)</i>. IEEE, 2019. <a href=\"https://doi.org/10.1109/ipdpsw.2019.00027\">https://doi.org/10.1109/ipdpsw.2019.00027</a>.","ieee":"Z. Guettatfi, M. Platzner, O. Kermia, and A. Khouas, “An Approach for Mapping Periodic Real-Time Tasks to Reconfigurable Hardware,” 2019, doi: <a href=\"https://doi.org/10.1109/ipdpsw.2019.00027\">10.1109/ipdpsw.2019.00027</a>."},"publisher":"IEEE","date_updated":"2022-05-05T07:43:29Z","date_created":"2022-05-05T07:42:26Z","author":[{"first_name":"Zakarya","last_name":"Guettatfi","full_name":"Guettatfi, Zakarya"},{"first_name":"Marco","last_name":"Platzner","full_name":"Platzner, Marco","id":"398"},{"first_name":"Omar","last_name":"Kermia","full_name":"Kermia, Omar"},{"first_name":"Abdelhakim","last_name":"Khouas","full_name":"Khouas, Abdelhakim"}],"title":"An Approach for Mapping Periodic Real-Time Tasks to Reconfigurable Hardware","doi":"10.1109/ipdpsw.2019.00027","type":"conference","publication":"2019 IEEE International Parallel and Distributed Processing Symposium Workshops (IPDPSW)","status":"public","_id":"31067","user_id":"398","department":[{"_id":"78"}],"language":[{"iso":"eng"}]},{"language":[{"iso":"eng"}],"_id":"52478","department":[{"_id":"78"}],"user_id":"74287","status":"public","type":"mastersthesis","title":"Multithreaded Software/Hardware Programming with ReconOS/freeRTOS on a Reconfigurable System-on-Chip","date_updated":"2024-03-11T15:57:39Z","supervisor":[{"first_name":"Lennart","orcid":"0000-0003-3789-6034","last_name":"Clausing","full_name":"Clausing, Lennart","id":"74287"}],"date_created":"2024-03-11T15:57:13Z","author":[{"first_name":"Jinay D","last_name":"Mehta","full_name":"Mehta, Jinay D"}],"year":"2019","citation":{"apa":"Mehta, J. D. (2019). <i>Multithreaded Software/Hardware Programming with ReconOS/freeRTOS on a Reconfigurable System-on-Chip</i>.","short":"J.D. Mehta, Multithreaded Software/Hardware Programming with ReconOS/FreeRTOS on a Reconfigurable System-on-Chip, 2019.","bibtex":"@book{Mehta_2019, title={Multithreaded Software/Hardware Programming with ReconOS/freeRTOS on a Reconfigurable System-on-Chip}, author={Mehta, Jinay D}, year={2019} }","mla":"Mehta, Jinay D. <i>Multithreaded Software/Hardware Programming with ReconOS/FreeRTOS on a Reconfigurable System-on-Chip</i>. 2019.","chicago":"Mehta, Jinay D. <i>Multithreaded Software/Hardware Programming with ReconOS/FreeRTOS on a Reconfigurable System-on-Chip</i>, 2019.","ieee":"J. D. Mehta, <i>Multithreaded Software/Hardware Programming with ReconOS/freeRTOS on a Reconfigurable System-on-Chip</i>. 2019.","ama":"Mehta JD. <i>Multithreaded Software/Hardware Programming with ReconOS/FreeRTOS on a Reconfigurable System-on-Chip</i>.; 2019."}},{"date_created":"2019-05-22T07:36:05Z","publisher":"Springer International Publishing","title":"Proof-Carrying Hardware Versus the Stealthy Malicious LUT Hardware Trojan","year":"2019","language":[{"iso":"eng"}],"ddc":["000"],"publication":"Applied Reconfigurable Computing","file":[{"file_id":"44749","access_level":"closed","file_name":"978-3-030-17227-5_10.pdf","file_size":661354,"creator":"qazi","date_created":"2023-05-11T09:12:33Z","date_updated":"2023-05-11T09:12:33Z","relation":"main_file","success":1,"content_type":"application/pdf"}],"abstract":[{"lang":"eng","text":"Reconfigurable hardware has received considerable attention as a platform that enables dynamic hardware updates and thus is able to adapt new configurations at runtime. However, due to their dynamic nature, e.g., field-programmable gate arrays (FPGA) are subject to a constant possibility of attacks, since each new configuration might be compromised. Trojans for reconfigurable hardware that evade state-of-the-art detection techniques and even formal verification, are thus a large threat to these devices. One such stealthy hardware Trojan, that is inserted and activated in two stages by compromised electronic design automation (EDA) tools, has recently been presented and shown to evade all forms of classical pre-configuration detection techniques. This paper presents a successful pre-configuration countermeasure against this ``Malicious Look-up-table (LUT)''-hardware Trojan, by employing bitstream-level Proof-Carrying Hardware (PCH). We show that the method is able to alert innocent module creators to infected EDA tools, and to prohibit malicious ones to sell infected modules to unsuspecting customers."}],"volume":11444,"author":[{"first_name":"Qazi Arbab","orcid":"0000-0002-1837-2254","last_name":"Ahmed","id":"72764","full_name":"Ahmed, Qazi Arbab"},{"first_name":"Tobias","last_name":"Wiersema","id":"3118","full_name":"Wiersema, Tobias"},{"last_name":"Platzner","id":"398","full_name":"Platzner, Marco","first_name":"Marco"}],"oa":"1","date_updated":"2023-05-15T08:13:37Z","conference":{"end_date":"2019-04-11","location":"Darmstadt, Germany","name":"15th International Symposium on Applied Reconfigurable Computing (ARC 2019)","start_date":"2019-04-09"},"doi":"10.1007/978-3-030-17227-5_10","main_file_link":[{"open_access":"1"}],"has_accepted_license":"1","publication_identifier":{"isbn":["978-3-030-17227-5"]},"publication_status":"published","intvolume":"     11444","page":"127-136","citation":{"short":"Q.A. Ahmed, T. Wiersema, M. Platzner, in: C. Hochberger, B. Nelson, A. Koch, R. Woods, P. Diniz (Eds.), Applied Reconfigurable Computing, Springer International Publishing, Cham, 2019, pp. 127–136.","bibtex":"@inproceedings{Ahmed_Wiersema_Platzner_2019, place={Cham}, series={Lecture Notes in Computer Science}, title={Proof-Carrying Hardware Versus the Stealthy Malicious LUT Hardware Trojan}, volume={11444}, DOI={<a href=\"https://doi.org/10.1007/978-3-030-17227-5_10\">10.1007/978-3-030-17227-5_10</a>}, booktitle={Applied Reconfigurable Computing}, publisher={Springer International Publishing}, author={Ahmed, Qazi Arbab and Wiersema, Tobias and Platzner, Marco}, editor={Hochberger, Christian and Nelson, Brent and Koch, Andreas and Woods, Roger and Diniz, Pedro}, year={2019}, pages={127–136}, collection={Lecture Notes in Computer Science} }","mla":"Ahmed, Qazi Arbab, et al. “Proof-Carrying Hardware Versus the Stealthy Malicious LUT Hardware Trojan.” <i>Applied Reconfigurable Computing</i>, edited by Christian Hochberger et al., vol. 11444, Springer International Publishing, 2019, pp. 127–36, doi:<a href=\"https://doi.org/10.1007/978-3-030-17227-5_10\">10.1007/978-3-030-17227-5_10</a>.","apa":"Ahmed, Q. A., Wiersema, T., &#38; Platzner, M. (2019). Proof-Carrying Hardware Versus the Stealthy Malicious LUT Hardware Trojan. In C. Hochberger, B. Nelson, A. Koch, R. Woods, &#38; P. Diniz (Eds.), <i>Applied Reconfigurable Computing</i> (Vol. 11444, pp. 127–136). Springer International Publishing. <a href=\"https://doi.org/10.1007/978-3-030-17227-5_10\">https://doi.org/10.1007/978-3-030-17227-5_10</a>","chicago":"Ahmed, Qazi Arbab, Tobias Wiersema, and Marco Platzner. “Proof-Carrying Hardware Versus the Stealthy Malicious LUT Hardware Trojan.” In <i>Applied Reconfigurable Computing</i>, edited by Christian Hochberger, Brent Nelson, Andreas Koch, Roger Woods, and Pedro Diniz, 11444:127–36. Lecture Notes in Computer Science. Cham: Springer International Publishing, 2019. <a href=\"https://doi.org/10.1007/978-3-030-17227-5_10\">https://doi.org/10.1007/978-3-030-17227-5_10</a>.","ieee":"Q. A. Ahmed, T. Wiersema, and M. Platzner, “Proof-Carrying Hardware Versus the Stealthy Malicious LUT Hardware Trojan,” in <i>Applied Reconfigurable Computing</i>, Darmstadt, Germany, 2019, vol. 11444, pp. 127–136, doi: <a href=\"https://doi.org/10.1007/978-3-030-17227-5_10\">10.1007/978-3-030-17227-5_10</a>.","ama":"Ahmed QA, Wiersema T, Platzner M. Proof-Carrying Hardware Versus the Stealthy Malicious LUT Hardware Trojan. In: Hochberger C, Nelson B, Koch A, Woods R, Diniz P, eds. <i>Applied Reconfigurable Computing</i>. Vol 11444. Lecture Notes in Computer Science. Springer International Publishing; 2019:127-136. doi:<a href=\"https://doi.org/10.1007/978-3-030-17227-5_10\">10.1007/978-3-030-17227-5_10</a>"},"place":"Cham","department":[{"_id":"78"}],"series_title":"Lecture Notes in Computer Science","user_id":"72764","_id":"9913","project":[{"name":"SFB 901 - Subproject B4","_id":"12"},{"_id":"1","name":"SFB 901"},{"_id":"3","name":"SFB 901 - Project Area B"}],"file_date_updated":"2023-05-11T09:12:33Z","type":"conference","status":"public","editor":[{"full_name":"Hochberger, Christian","last_name":"Hochberger","first_name":"Christian"},{"full_name":"Nelson, Brent","last_name":"Nelson","first_name":"Brent"},{"full_name":"Koch, Andreas","last_name":"Koch","first_name":"Andreas"},{"first_name":"Roger","last_name":"Woods","full_name":"Woods, Roger"},{"full_name":"Diniz, Pedro","last_name":"Diniz","first_name":"Pedro"}]},{"citation":{"apa":"Lienen, C. (n.d.). <i>Implementing a Real-time System on a Platform FPGA operated with ReconOS</i>. Universität Paderborn.","bibtex":"@book{Lienen, title={Implementing a Real-time System on a Platform FPGA operated with ReconOS}, publisher={Universität Paderborn}, author={Lienen, Christian} }","short":"C. Lienen, Implementing a Real-Time System on a Platform FPGA Operated with ReconOS, Universität Paderborn, n.d.","mla":"Lienen, Christian. <i>Implementing a Real-Time System on a Platform FPGA Operated with ReconOS</i>. Universität Paderborn.","ama":"Lienen C. <i>Implementing a Real-Time System on a Platform FPGA Operated with ReconOS</i>. Universität Paderborn","chicago":"Lienen, Christian. <i>Implementing a Real-Time System on a Platform FPGA Operated with ReconOS</i>. Universität Paderborn, n.d.","ieee":"C. Lienen, <i>Implementing a Real-time System on a Platform FPGA operated with ReconOS</i>. Universität Paderborn."},"year":"2019","publication_status":"submitted","has_accepted_license":"1","title":"Implementing a Real-time System on a Platform FPGA operated with ReconOS","date_created":"2020-02-11T10:22:06Z","supervisor":[{"first_name":"Lennart","last_name":"Clausing","orcid":"0000-0003-3789-6034","full_name":"Clausing, Lennart","id":"74287"},{"first_name":"Marco","id":"398","full_name":"Platzner, Marco","last_name":"Platzner"},{"full_name":"Hellebrand, Sybille","id":"209","orcid":"0000-0002-3717-3939","last_name":"Hellebrand","first_name":"Sybille"}],"author":[{"last_name":"Lienen","id":"60323","full_name":"Lienen, Christian","first_name":"Christian"}],"publisher":"Universität Paderborn","oa":"1","date_updated":"2023-07-31T11:58:50Z","file":[{"content_type":"application/pdf","relation":"main_file","date_updated":"2021-02-13T16:46:58Z","date_created":"2020-07-01T11:46:49Z","creator":"clienen","file_size":5920668,"access_level":"open_access","file_id":"17351","file_name":"thesis_main.pdf"}],"status":"public","type":"mastersthesis","language":[{"iso":"eng"}],"file_date_updated":"2021-02-13T16:46:58Z","ddc":["004"],"user_id":"60323","department":[{"_id":"78"}],"project":[{"_id":"83","name":"SFB 901 - T1: SFB 901 -Subproject T1"},{"name":"SFB 901 - T: SFB 901 - Project Area T","_id":"82"},{"_id":"1","name":"SFB 901: SFB 901: On-The-Fly Computing - Individualisierte IT-Dienstleistungen in dynamischen Märkten ","grant_number":"160364472"}],"_id":"15874"},{"publication":"Informatik Spektrum","type":"journal_article","status":"public","file":[{"relation":"main_file","content_type":"application/pdf","file_name":"plessl19_informatik_spektrum.pdf","file_id":"12872","access_level":"open_access","file_size":248360,"creator":"plessl","date_created":"2019-07-22T12:45:02Z","date_updated":"2019-07-22T12:45:02Z"}],"department":[{"_id":"27"},{"_id":"518"},{"_id":"78"}],"user_id":"15278","_id":"12871","file_date_updated":"2019-07-22T12:45:02Z","language":[{"iso":"ger"}],"ddc":["004"],"publication_identifier":{"issn":["0170-6012","1432-122X"]},"has_accepted_license":"1","quality_controlled":"1","publication_status":"published","citation":{"ama":"Platzner M, Plessl C. FPGAs im Rechenzentrum. <i>Informatik Spektrum</i>. Published online 2019. doi:<a href=\"https://doi.org/10.1007/s00287-019-01187-w\">10.1007/s00287-019-01187-w</a>","ieee":"M. Platzner and C. Plessl, “FPGAs im Rechenzentrum,” <i>Informatik Spektrum</i>, 2019, doi: <a href=\"https://doi.org/10.1007/s00287-019-01187-w\">10.1007/s00287-019-01187-w</a>.","chicago":"Platzner, Marco, and Christian Plessl. “FPGAs im Rechenzentrum.” <i>Informatik Spektrum</i>, 2019. <a href=\"https://doi.org/10.1007/s00287-019-01187-w\">https://doi.org/10.1007/s00287-019-01187-w</a>.","short":"M. Platzner, C. Plessl, Informatik Spektrum (2019).","mla":"Platzner, Marco, and Christian Plessl. “FPGAs im Rechenzentrum.” <i>Informatik Spektrum</i>, 2019, doi:<a href=\"https://doi.org/10.1007/s00287-019-01187-w\">10.1007/s00287-019-01187-w</a>.","bibtex":"@article{Platzner_Plessl_2019, title={FPGAs im Rechenzentrum}, DOI={<a href=\"https://doi.org/10.1007/s00287-019-01187-w\">10.1007/s00287-019-01187-w</a>}, journal={Informatik Spektrum}, author={Platzner, Marco and Plessl, Christian}, year={2019} }","apa":"Platzner, M., &#38; Plessl, C. (2019). FPGAs im Rechenzentrum. <i>Informatik Spektrum</i>. <a href=\"https://doi.org/10.1007/s00287-019-01187-w\">https://doi.org/10.1007/s00287-019-01187-w</a>"},"year":"2019","author":[{"last_name":"Platzner","id":"398","full_name":"Platzner, Marco","first_name":"Marco"},{"last_name":"Plessl","orcid":"0000-0001-5728-9982","full_name":"Plessl, Christian","id":"16153","first_name":"Christian"}],"date_created":"2019-07-22T12:42:44Z","date_updated":"2023-09-26T11:45:57Z","oa":"1","doi":"10.1007/s00287-019-01187-w","title":"FPGAs im Rechenzentrum"},{"year":"2018","publisher":"Springer International Publishing","date_created":"2018-06-26T13:47:52Z","title":"Ampehre: An Open Source Measurement Framework for Heterogeneous Compute Nodes","publication":"Proceedings of the International Conference on Architecture of Computing Systems (ARCS)","abstract":[{"text":"Profiling applications on a heterogeneous compute node is challenging since the way to retrieve data from the resources and interpret them varies between resource types and manufacturers. This holds especially true for measuring the energy consumption. In this paper we present Ampehre, a novel open source measurement framework that allows developers to gather comparable measurements from heterogeneous compute nodes, e.g., nodes comprising CPU, GPU, and FPGA. We explain the architecture of Ampehre and detail the measurement process on the example of energy measurements on CPU and GPU. To characterize the probing effect, we quantitatively analyze the trade-off between the accuracy of measurements and the CPU load imposed by Ampehre. Based on this analysis, we are able to specify reasonable combinations of sampling periods for the different resource types of a compute node.","lang":"eng"}],"file":[{"success":1,"relation":"main_file","content_type":"application/pdf","file_size":1114026,"file_name":"loesch2017_arcs.pdf","access_level":"closed","file_id":"3363","date_updated":"2018-06-26T13:58:28Z","date_created":"2018-06-26T13:58:28Z","creator":"aloesch"}],"ddc":["040"],"publication_identifier":{"issn":["0302-9743","1611-3349"],"isbn":["9783319776095","9783319776101"]},"has_accepted_license":"1","publication_status":"published","place":"Cham","page":"73-84","intvolume":"     10793","citation":{"chicago":"Lösch, Achim, Alex Wiens, and Marco Platzner. “Ampehre: An Open Source Measurement Framework for Heterogeneous Compute Nodes.” In <i>Proceedings of the International Conference on Architecture of Computing Systems (ARCS)</i>, 10793:73–84. Lecture Notes in Computer Science. Cham: Springer International Publishing, 2018. <a href=\"https://doi.org/10.1007/978-3-319-77610-1_6\">https://doi.org/10.1007/978-3-319-77610-1_6</a>.","ieee":"A. Lösch, A. Wiens, and M. Platzner, “Ampehre: An Open Source Measurement Framework for Heterogeneous Compute Nodes,” in <i>Proceedings of the International Conference on Architecture of Computing Systems (ARCS)</i>, 2018, vol. 10793, pp. 73–84.","ama":"Lösch A, Wiens A, Platzner M. Ampehre: An Open Source Measurement Framework for Heterogeneous Compute Nodes. In: <i>Proceedings of the International Conference on Architecture of Computing Systems (ARCS)</i>. Vol 10793. Lecture Notes in Computer Science. Cham: Springer International Publishing; 2018:73-84. doi:<a href=\"https://doi.org/10.1007/978-3-319-77610-1_6\">10.1007/978-3-319-77610-1_6</a>","mla":"Lösch, Achim, et al. “Ampehre: An Open Source Measurement Framework for Heterogeneous Compute Nodes.” <i>Proceedings of the International Conference on Architecture of Computing Systems (ARCS)</i>, vol. 10793, Springer International Publishing, 2018, pp. 73–84, doi:<a href=\"https://doi.org/10.1007/978-3-319-77610-1_6\">10.1007/978-3-319-77610-1_6</a>.","bibtex":"@inproceedings{Lösch_Wiens_Platzner_2018, place={Cham}, series={Lecture Notes in Computer Science}, title={Ampehre: An Open Source Measurement Framework for Heterogeneous Compute Nodes}, volume={10793}, DOI={<a href=\"https://doi.org/10.1007/978-3-319-77610-1_6\">10.1007/978-3-319-77610-1_6</a>}, booktitle={Proceedings of the International Conference on Architecture of Computing Systems (ARCS)}, publisher={Springer International Publishing}, author={Lösch, Achim and Wiens, Alex and Platzner, Marco}, year={2018}, pages={73–84}, collection={Lecture Notes in Computer Science} }","short":"A. Lösch, A. Wiens, M. Platzner, in: Proceedings of the International Conference on Architecture of Computing Systems (ARCS), Springer International Publishing, Cham, 2018, pp. 73–84.","apa":"Lösch, A., Wiens, A., &#38; Platzner, M. (2018). Ampehre: An Open Source Measurement Framework for Heterogeneous Compute Nodes. In <i>Proceedings of the International Conference on Architecture of Computing Systems (ARCS)</i> (Vol. 10793, pp. 73–84). Cham: Springer International Publishing. <a href=\"https://doi.org/10.1007/978-3-319-77610-1_6\">https://doi.org/10.1007/978-3-319-77610-1_6</a>"},"date_updated":"2022-01-06T06:59:13Z","volume":10793,"author":[{"full_name":"Lösch, Achim","id":"43646","last_name":"Lösch","first_name":"Achim"},{"full_name":"Wiens, Alex","last_name":"Wiens","first_name":"Alex"},{"id":"398","full_name":"Platzner, Marco","last_name":"Platzner","first_name":"Marco"}],"doi":"10.1007/978-3-319-77610-1_6","type":"conference","status":"public","_id":"3362","project":[{"name":"SFB 901 - Subproject C2","_id":"14"},{"_id":"4","name":"SFB 901 - Project Area C"},{"_id":"1","name":"SFB 901"}],"department":[{"_id":"78"}],"series_title":"Lecture Notes in Computer Science","user_id":"477","file_date_updated":"2018-06-26T13:58:28Z"},{"title":"Static Scheduling Algorithms for Heterogeneous Compute Nodes","date_created":"2018-06-26T14:10:18Z","author":[{"full_name":"Schnuer, Jan-Philip","last_name":"Schnuer","first_name":"Jan-Philip"}],"supervisor":[{"id":"43646","full_name":"Lösch, Achim","last_name":"Lösch","first_name":"Achim"},{"last_name":"Platzner","full_name":"Platzner, Marco","id":"398","first_name":"Marco"}],"publisher":"Universität Paderborn","date_updated":"2022-01-06T06:59:13Z","citation":{"ama":"Schnuer J-P. <i>Static Scheduling Algorithms for Heterogeneous Compute Nodes</i>. Universität Paderborn; 2018.","chicago":"Schnuer, Jan-Philip. <i>Static Scheduling Algorithms for Heterogeneous Compute Nodes</i>. Universität Paderborn, 2018.","ieee":"J.-P. Schnuer, <i>Static Scheduling Algorithms for Heterogeneous Compute Nodes</i>. Universität Paderborn, 2018.","mla":"Schnuer, Jan-Philip. <i>Static Scheduling Algorithms for Heterogeneous Compute Nodes</i>. Universität Paderborn, 2018.","bibtex":"@book{Schnuer_2018, title={Static Scheduling Algorithms for Heterogeneous Compute Nodes}, publisher={Universität Paderborn}, author={Schnuer, Jan-Philip}, year={2018} }","short":"J.-P. Schnuer, Static Scheduling Algorithms for Heterogeneous Compute Nodes, Universität Paderborn, 2018.","apa":"Schnuer, J.-P. (2018). <i>Static Scheduling Algorithms for Heterogeneous Compute Nodes</i>. Universität Paderborn."},"year":"2018","language":[{"iso":"eng"}],"department":[{"_id":"78"}],"user_id":"477","_id":"3365","project":[{"name":"SFB 901 - Subproject C2","_id":"14"},{"name":"SFB 901","_id":"1"},{"_id":"4","name":"SFB 901 - Project Area C"}],"status":"public","type":"bachelorsthesis"},{"user_id":"477","department":[{"_id":"78"}],"project":[{"_id":"14","name":"SFB 901 - Subproject C2"},{"_id":"1","name":"SFB 901"},{"_id":"4","name":"SFB 901 - Project Area C"}],"_id":"3366","language":[{"iso":"eng"}],"type":"bachelorsthesis","status":"public","supervisor":[{"first_name":"Achim","full_name":"Lösch, Achim","id":"43646","last_name":"Lösch"},{"id":"398","full_name":"Platzner, Marco","last_name":"Platzner","first_name":"Marco"}],"date_created":"2018-06-26T14:12:00Z","author":[{"last_name":"Croce","full_name":"Croce, Marcel","first_name":"Marcel"}],"publisher":"Universität Paderborn","date_updated":"2022-01-06T06:59:13Z","title":"Evaluation of OpenCL-based Compilation for FPGAs","citation":{"chicago":"Croce, Marcel. <i>Evaluation of OpenCL-Based Compilation for FPGAs</i>. Universität Paderborn, 2018.","ieee":"M. Croce, <i>Evaluation of OpenCL-based Compilation for FPGAs</i>. Universität Paderborn, 2018.","ama":"Croce M. <i>Evaluation of OpenCL-Based Compilation for FPGAs</i>. Universität Paderborn; 2018.","apa":"Croce, M. (2018). <i>Evaluation of OpenCL-based Compilation for FPGAs</i>. Universität Paderborn.","bibtex":"@book{Croce_2018, title={Evaluation of OpenCL-based Compilation for FPGAs}, publisher={Universität Paderborn}, author={Croce, Marcel}, year={2018} }","short":"M. Croce, Evaluation of OpenCL-Based Compilation for FPGAs, Universität Paderborn, 2018.","mla":"Croce, Marcel. <i>Evaluation of OpenCL-Based Compilation for FPGAs</i>. Universität Paderborn, 2018."},"year":"2018"},{"abstract":[{"lang":"eng","text":"Modern Boolean satisfiability solvers can emit proofs of unsatisfiability. There is substantial interest in being able to verify such proofs and also in using them for further computations. In this paper, we present an FPGA accelerator for checking resolution proofs, a popular proof format. Our accelerator exploits parallelism at the low level by implementing the basic resolution step in hardware, and at the high level by instantiating a number of parallel modules for proof checking. Since proof checking involves highly irregular memory accesses, we employ Hybrid Memory Cube technology for accelerator memory. The results show that while the accelerator is scalable and achieves speedups for all benchmark proofs, performance improvements are currently limited by the overhead of transitioning the proof into the accelerator memory."}],"file":[{"file_name":"AnFPGAHMC-BasedAcceleratorForR.pdf","access_level":"closed","file_id":"5257","file_size":612367,"date_created":"2018-11-02T13:55:07Z","creator":"ups","date_updated":"2018-11-02T13:55:07Z","relation":"main_file","success":1,"content_type":"application/pdf"}],"publication":"ARC 2018: Applied Reconfigurable Computing. Architectures, Tools, and Applications","ddc":["000"],"language":[{"iso":"eng"}],"year":"2018","title":"An FPGA/HMC-Based Accelerator for Resolution Proof Checking","publisher":"Springer International Publishing","date_created":"2018-06-27T09:30:24Z","status":"public","type":"conference","file_date_updated":"2018-11-02T13:55:07Z","_id":"3373","project":[{"name":"SFB 901 - Subproject B4","_id":"12"},{"name":"SFB 901","_id":"1"},{"_id":"3","name":"SFB 901 - Project Area B"}],"department":[{"_id":"78"}],"user_id":"3118","series_title":"Lecture Notes in Computer Science","page":"153-165","intvolume":"     10824","citation":{"apa":"Hansmeier, T., Platzner, M., &#38; Andrews, D. (2018). An FPGA/HMC-Based Accelerator for Resolution Proof Checking. In <i>ARC 2018: Applied Reconfigurable Computing. Architectures, Tools, and Applications</i> (Vol. 10824, pp. 153–165). Santorini, Greece: Springer International Publishing. <a href=\"https://doi.org/10.1007/978-3-319-78890-6_13\">https://doi.org/10.1007/978-3-319-78890-6_13</a>","bibtex":"@inproceedings{Hansmeier_Platzner_Andrews_2018, series={Lecture Notes in Computer Science}, title={An FPGA/HMC-Based Accelerator for Resolution Proof Checking}, volume={10824}, DOI={<a href=\"https://doi.org/10.1007/978-3-319-78890-6_13\">10.1007/978-3-319-78890-6_13</a>}, booktitle={ARC 2018: Applied Reconfigurable Computing. Architectures, Tools, and Applications}, publisher={Springer International Publishing}, author={Hansmeier, Tim and Platzner, Marco and Andrews, David}, year={2018}, pages={153–165}, collection={Lecture Notes in Computer Science} }","short":"T. Hansmeier, M. Platzner, D. Andrews, in: ARC 2018: Applied Reconfigurable Computing. Architectures, Tools, and Applications, Springer International Publishing, 2018, pp. 153–165.","mla":"Hansmeier, Tim, et al. “An FPGA/HMC-Based Accelerator for Resolution Proof Checking.” <i>ARC 2018: Applied Reconfigurable Computing. Architectures, Tools, and Applications</i>, vol. 10824, Springer International Publishing, 2018, pp. 153–65, doi:<a href=\"https://doi.org/10.1007/978-3-319-78890-6_13\">10.1007/978-3-319-78890-6_13</a>.","ieee":"T. Hansmeier, M. Platzner, and D. Andrews, “An FPGA/HMC-Based Accelerator for Resolution Proof Checking,” in <i>ARC 2018: Applied Reconfigurable Computing. Architectures, Tools, and Applications</i>, Santorini, Greece, 2018, vol. 10824, pp. 153–165.","chicago":"Hansmeier, Tim, Marco Platzner, and David Andrews. “An FPGA/HMC-Based Accelerator for Resolution Proof Checking.” In <i>ARC 2018: Applied Reconfigurable Computing. Architectures, Tools, and Applications</i>, 10824:153–65. Lecture Notes in Computer Science. Springer International Publishing, 2018. <a href=\"https://doi.org/10.1007/978-3-319-78890-6_13\">https://doi.org/10.1007/978-3-319-78890-6_13</a>.","ama":"Hansmeier T, Platzner M, Andrews D. An FPGA/HMC-Based Accelerator for Resolution Proof Checking. In: <i>ARC 2018: Applied Reconfigurable Computing. Architectures, Tools, and Applications</i>. Vol 10824. Lecture Notes in Computer Science. Springer International Publishing; 2018:153-165. doi:<a href=\"https://doi.org/10.1007/978-3-319-78890-6_13\">10.1007/978-3-319-78890-6_13</a>"},"publication_identifier":{"issn":["0302-9743","1611-3349"],"isbn":["9783319788890","9783319788906"]},"has_accepted_license":"1","publication_status":"published","doi":"10.1007/978-3-319-78890-6_13","conference":{"start_date":"2018-05-02","name":"ARC: International Symposium on Applied Reconfigurable Computing","location":"Santorini, Greece","end_date":"2018-05-04"},"date_updated":"2022-01-06T06:59:13Z","volume":10824,"author":[{"first_name":"Tim","last_name":"Hansmeier","orcid":"0000-0003-1377-3339","id":"49992","full_name":"Hansmeier, Tim"},{"full_name":"Platzner, Marco","id":"398","last_name":"Platzner","first_name":"Marco"},{"last_name":"Andrews","full_name":"Andrews, David","first_name":"David"}]},{"file_date_updated":"2018-07-20T14:13:31Z","language":[{"iso":"eng"}],"keyword":["Approximate Computing","Framework","Pareto Front","Accuracy"],"ddc":["000"],"department":[{"_id":"78"}],"user_id":"49051","_id":"3586","project":[{"name":"SFB 901 - Subproject B4","_id":"12"},{"name":"SFB 901","_id":"1"},{"name":"SFB 901 - Project Area B","_id":"3"},{"name":"Computing Resources Provided by the Paderborn Center for Parallel Computing","_id":"52"}],"status":"public","file":[{"success":1,"relation":"main_file","content_type":"application/pdf","file_size":285348,"access_level":"closed","file_id":"3587","file_name":"WitschenWMAP2018.pdf","date_updated":"2018-07-20T14:13:31Z","creator":"tobias82","date_created":"2018-07-20T14:13:31Z"}],"abstract":[{"text":"Existing approaches and tools for the generation of approximate circuits often lack generality and are restricted to certain circuit types, approximation techniques, and quality assurance methods. Moreover, only few tools are publicly available. This hinders the development and evaluation of new techniques for approximating circuits and their comparison to previous approaches. In this paper, we first analyze and classify related approaches and then present CIRCA, our flexible framework for search-based approximate circuit generation. CIRCA is developed with a focus on modularity and extensibility. We present the architecture of CIRCA with its clear separation into stages and functional blocks, report on the current prototype, and show initial experiments.","lang":"eng"}],"publication":"Third Workshop on Approximate Computing (AxC 2018)","type":"preprint","title":"CIRCA: Towards a Modular and Extensible Framework for Approximate Circuit Generation","author":[{"first_name":"Linus Matthias","full_name":"Witschen, Linus Matthias","id":"49051","last_name":"Witschen"},{"id":"3118","full_name":"Wiersema, Tobias","last_name":"Wiersema","first_name":"Tobias"},{"last_name":"Ghasemzadeh Mohammadi","full_name":"Ghasemzadeh Mohammadi, Hassan","id":"61186","first_name":"Hassan"},{"full_name":"Awais, Muhammad","id":"64665","last_name":"Awais","orcid":"https://orcid.org/0000-0003-4148-2969","first_name":"Muhammad"},{"id":"398","full_name":"Platzner, Marco","last_name":"Platzner","first_name":"Marco"}],"date_created":"2018-07-20T14:10:46Z","date_updated":"2022-01-06T06:59:26Z","page":"6","citation":{"ama":"Witschen LM, Wiersema T, Ghasemzadeh Mohammadi H, Awais M, Platzner M. CIRCA: Towards a Modular and Extensible Framework for Approximate Circuit Generation. <i>Third Workshop on Approximate Computing (AxC 2018)</i>.","chicago":"Witschen, Linus Matthias, Tobias Wiersema, Hassan Ghasemzadeh Mohammadi, Muhammad Awais, and Marco Platzner. “CIRCA: Towards a Modular and Extensible Framework for Approximate Circuit Generation.” <i>Third Workshop on Approximate Computing (AxC 2018)</i>, n.d.","ieee":"L. M. Witschen, T. Wiersema, H. Ghasemzadeh Mohammadi, M. Awais, and M. Platzner, “CIRCA: Towards a Modular and Extensible Framework for Approximate Circuit Generation,” <i>Third Workshop on Approximate Computing (AxC 2018)</i>. .","short":"L.M. Witschen, T. Wiersema, H. Ghasemzadeh Mohammadi, M. Awais, M. Platzner, Third Workshop on Approximate Computing (AxC 2018) (n.d.).","bibtex":"@article{Witschen_Wiersema_Ghasemzadeh Mohammadi_Awais_Platzner, title={CIRCA: Towards a Modular and Extensible Framework for Approximate Circuit Generation}, journal={Third Workshop on Approximate Computing (AxC 2018)}, author={Witschen, Linus Matthias and Wiersema, Tobias and Ghasemzadeh Mohammadi, Hassan and Awais, Muhammad and Platzner, Marco} }","mla":"Witschen, Linus Matthias, et al. “CIRCA: Towards a Modular and Extensible Framework for Approximate Circuit Generation.” <i>Third Workshop on Approximate Computing (AxC 2018)</i>.","apa":"Witschen, L. M., Wiersema, T., Ghasemzadeh Mohammadi, H., Awais, M., &#38; Platzner, M. (n.d.). CIRCA: Towards a Modular and Extensible Framework for Approximate Circuit Generation. <i>Third Workshop on Approximate Computing (AxC 2018)</i>."},"year":"2018","has_accepted_license":"1","publication_status":"accepted"},{"doi":"10.17619/UNIPB/1-376","title":"FPGA-based Reconfigurable Cache Mapping Schemes: Design and Optimization","author":[{"full_name":"Ho, Nam","last_name":"Ho","first_name":"Nam"}],"supervisor":[{"first_name":"Paul","full_name":"Kaufmann, Paul","last_name":"Kaufmann"},{"first_name":"Marco","full_name":"Platzner, Marco","id":"398","last_name":"Platzner"}],"date_created":"2018-07-27T06:41:13Z","publisher":"Universität Paderborn","date_updated":"2022-01-06T06:59:31Z","citation":{"ama":"Ho N. <i>FPGA-Based Reconfigurable Cache Mapping Schemes: Design and Optimization</i>. Universität Paderborn; 2018. doi:<a href=\"https://doi.org/10.17619/UNIPB/1-376\">10.17619/UNIPB/1-376</a>","ieee":"N. Ho, <i>FPGA-based Reconfigurable Cache Mapping Schemes: Design and Optimization</i>. Universität Paderborn, 2018.","chicago":"Ho, Nam. <i>FPGA-Based Reconfigurable Cache Mapping Schemes: Design and Optimization</i>. Universität Paderborn, 2018. <a href=\"https://doi.org/10.17619/UNIPB/1-376\">https://doi.org/10.17619/UNIPB/1-376</a>.","short":"N. Ho, FPGA-Based Reconfigurable Cache Mapping Schemes: Design and Optimization, Universität Paderborn, 2018.","bibtex":"@book{Ho_2018, title={FPGA-based Reconfigurable Cache Mapping Schemes: Design and Optimization}, DOI={<a href=\"https://doi.org/10.17619/UNIPB/1-376\">10.17619/UNIPB/1-376</a>}, publisher={Universität Paderborn}, author={Ho, Nam}, year={2018} }","mla":"Ho, Nam. <i>FPGA-Based Reconfigurable Cache Mapping Schemes: Design and Optimization</i>. Universität Paderborn, 2018, doi:<a href=\"https://doi.org/10.17619/UNIPB/1-376\">10.17619/UNIPB/1-376</a>.","apa":"Ho, N. (2018). <i>FPGA-based Reconfigurable Cache Mapping Schemes: Design and Optimization</i>. Universität Paderborn. <a href=\"https://doi.org/10.17619/UNIPB/1-376\">https://doi.org/10.17619/UNIPB/1-376</a>"},"page":"139","year":"2018","publication_status":"published","language":[{"iso":"eng"}],"user_id":"477","department":[{"_id":"78"}],"project":[{"name":"SFB 901 - Subproject B4","_id":"12"},{"name":"SFB 901","_id":"1"},{"_id":"3","name":"SFB 901 - Project Area B"}],"_id":"3720","status":"public","abstract":[{"text":"Traditional cache design uses a consolidated block of memory address bits to index a cache set, equivalent to the use of modulo functions. While this module-based mapping scheme is widely used in contemporary cache structures due to the simplicity of its hardware design and its good performance for sequences of consecutive addresses, its use may not be satisfactory for a variety of application domains having different characteristics.This thesis presents a new type of cache mapping scheme, motivated by programmable capabilities combined with Nature-inspired optimization of reconfigurable hardware. This research has focussed on an FPGA-based evolvable cache structure of the first level cache in a multi-core processor architecture, able to dynamically change cache indexing. To solve the challenge of reconfigurable cache mappings, a programmable Boolean circuit based on a combination of Look-up Table (LUT) memory elements is proposed. Focusing on optimization aspects at the system level, a Performance Measurement Infrastructure is introduced that is able to monitor the underlying microarchitectural metrics, and an adaptive evaluation strategy is presented that leverages on Evolutionary Algorithms, that is not only capable of evolving application-specific address-to-cache-index mappings for level one split caches but also of reducing optimization times. Putting this all together and prototyping in an FPGA for a LEON3/Linux-based multi-core processor, the creation of a system architecture reduces cache misses and improves performance over the use of conventional caches.","lang":"eng"},{"text":"Traditionelle Cachedesigns verwenden konsolidierte Blöcke von Speicheradressbits um einen Cachesatz zu indizieren, vergleichbar mit der Anwendung einer Modulofunktion. Obwohl dieses modulobasierte Abbildungsschema in heutigen Cachestrukturen weit verbreitet ist, vor allem wegen seiner einfachen Anforderungen an das Hardwaredesign und seiner Effizienz für die Indizierung eufeinanderfolgender Speicheradressen, kann seine Verwendung für eine Vielzahl von Anwendungsdomänen mit unterschiedlichen Charakteristiken zu suboptimalen Ergebnissen führen. Diese Dissertation präsentiert einen neuen Typ von Cacheabbildungsschema, motiviert durch die Kombination programmierbarer Ressourcen mit der naturinspirierten Optimierung rekonfigurierbarer Hardware. Im Fokus dieser Forschung steht eine FPGA-basierte Cachestruktur für den first level Cache einer Mehrkernprozessorarchitektur, welche die Cacheindizierung dynamisch ändern kann. Um die Herausforderung rekonfigurierbarer Cacheabbildungen zu lösen, wird eine reprogrammierbare Boolesche Schaltung eingeführt, die auf Look-up Table (LUT) Speicherelementen basiert. Weiterhin wird eine Infrastruktur zur Effizienzmessung eingeführt, welche die zugrundeliege Mikroarchitektur überwachen kann, sowie eine adaptive Evaluationsstrategie präsentiert, die evolutionäre Algorithmen wirksam einsetzt, und die nicht nur anwendungsspezifische Abbildungen von Speicheradressen zu Cacheindizes für level one Caches evolvieren sondern dabei auch die Optimierungszeiten reduzieren kann. All diese Aspekte zusammen in einer prototypischen Implementierung auf einem FPGA für einen LEON3/Linux-basierten Mehrkernprozessor zeigen, dass evolvierbare Cacheabbildungsfunktionen Cache Misses reduzieren, sowie die Effizienz im Vergleich zu konventionellen Caches erhöhen können.","lang":"ger"}],"type":"dissertation"},{"department":[{"_id":"7"},{"_id":"34"},{"_id":"78"}],"user_id":"49051","_id":"1165","project":[{"name":"SFB 901","_id":"1"},{"name":"SFB 901 - Project Area B","_id":"3"},{"_id":"12","name":"SFB 901 - Subproject B4"},{"name":"Computing Resources Provided by the Paderborn Center for Parallel Computing","_id":"52"}],"language":[{"iso":"eng"}],"file_date_updated":"2018-11-26T08:00:53Z","ddc":["000"],"publication":"4th Workshop On Approximate Computing (WAPCO 2018)","type":"preprint","status":"public","file":[{"relation":"main_file","success":1,"content_type":"application/pdf","file_id":"5821","file_name":"WitschenWP2018[1].pdf","access_level":"closed","file_size":287224,"creator":"tobias82","date_created":"2018-11-26T08:00:53Z","date_updated":"2018-11-26T08:00:53Z"}],"date_created":"2018-02-01T14:24:54Z","author":[{"first_name":"Linus Matthias","id":"49051","full_name":"Witschen, Linus Matthias","last_name":"Witschen"},{"first_name":"Tobias","full_name":"Wiersema, Tobias","id":"3118","last_name":"Wiersema"},{"last_name":"Platzner","id":"398","full_name":"Platzner, Marco","first_name":"Marco"}],"date_updated":"2022-01-06T06:51:06Z","title":"Making the Case for Proof-carrying Approximate Circuits","has_accepted_license":"1","citation":{"ama":"Witschen LM, Wiersema T, Platzner M. Making the Case for Proof-carrying Approximate Circuits. <i>4th Workshop On Approximate Computing (WAPCO 2018)</i>. 2018.","chicago":"Witschen, Linus Matthias, Tobias Wiersema, and Marco Platzner. “Making the Case for Proof-Carrying Approximate Circuits.” <i>4th Workshop On Approximate Computing (WAPCO 2018)</i>, 2018.","ieee":"L. M. Witschen, T. Wiersema, and M. Platzner, “Making the Case for Proof-carrying Approximate Circuits,” <i>4th Workshop On Approximate Computing (WAPCO 2018)</i>. 2018.","apa":"Witschen, L. M., Wiersema, T., &#38; Platzner, M. (2018). Making the Case for Proof-carrying Approximate Circuits. <i>4th Workshop On Approximate Computing (WAPCO 2018)</i>.","mla":"Witschen, Linus Matthias, et al. “Making the Case for Proof-Carrying Approximate Circuits.” <i>4th Workshop On Approximate Computing (WAPCO 2018)</i>, 2018.","bibtex":"@article{Witschen_Wiersema_Platzner_2018, title={Making the Case for Proof-carrying Approximate Circuits}, journal={4th Workshop On Approximate Computing (WAPCO 2018)}, author={Witschen, Linus Matthias and Wiersema, Tobias and Platzner, Marco}, year={2018} }","short":"L.M. Witschen, T. Wiersema, M. Platzner, 4th Workshop On Approximate Computing (WAPCO 2018) (2018)."},"year":"2018"},{"conference":{"location":"Milan, Italy","end_date":"2018-07-12","start_date":"2018-07-10","name":"The 29th Annual IEEE International Conference on Application-specific Systems, Architectures and Processors"},"doi":"10.1109/asap.2018.8445098","date_updated":"2022-01-06T07:01:59Z","author":[{"last_name":"Lösch","full_name":"Lösch, Achim","id":"43646","first_name":"Achim"},{"full_name":"Platzner, Marco","id":"398","last_name":"Platzner","first_name":"Marco"}],"citation":{"ama":"Lösch A, Platzner M. A Highly Accurate Energy Model for Task Execution on Heterogeneous Compute Nodes. In: <i>2018 IEEE 29th International Conference on Application-Specific Systems, Architectures and Processors (ASAP)</i>. IEEE; 2018. doi:<a href=\"https://doi.org/10.1109/asap.2018.8445098\">10.1109/asap.2018.8445098</a>","chicago":"Lösch, Achim, and Marco Platzner. “A Highly Accurate Energy Model for Task Execution on Heterogeneous Compute Nodes.” In <i>2018 IEEE 29th International Conference on Application-Specific Systems, Architectures and Processors (ASAP)</i>. IEEE, 2018. <a href=\"https://doi.org/10.1109/asap.2018.8445098\">https://doi.org/10.1109/asap.2018.8445098</a>.","ieee":"A. Lösch and M. Platzner, “A Highly Accurate Energy Model for Task Execution on Heterogeneous Compute Nodes,” in <i>2018 IEEE 29th International Conference on Application-specific Systems, Architectures and Processors (ASAP)</i>, Milan, Italy, 2018.","mla":"Lösch, Achim, and Marco Platzner. “A Highly Accurate Energy Model for Task Execution on Heterogeneous Compute Nodes.” <i>2018 IEEE 29th International Conference on Application-Specific Systems, Architectures and Processors (ASAP)</i>, IEEE, 2018, doi:<a href=\"https://doi.org/10.1109/asap.2018.8445098\">10.1109/asap.2018.8445098</a>.","short":"A. Lösch, M. Platzner, in: 2018 IEEE 29th International Conference on Application-Specific Systems, Architectures and Processors (ASAP), IEEE, 2018.","bibtex":"@inproceedings{Lösch_Platzner_2018, title={A Highly Accurate Energy Model for Task Execution on Heterogeneous Compute Nodes}, DOI={<a href=\"https://doi.org/10.1109/asap.2018.8445098\">10.1109/asap.2018.8445098</a>}, booktitle={2018 IEEE 29th International Conference on Application-specific Systems, Architectures and Processors (ASAP)}, publisher={IEEE}, author={Lösch, Achim and Platzner, Marco}, year={2018} }","apa":"Lösch, A., &#38; Platzner, M. (2018). A Highly Accurate Energy Model for Task Execution on Heterogeneous Compute Nodes. In <i>2018 IEEE 29th International Conference on Application-specific Systems, Architectures and Processors (ASAP)</i>. Milan, Italy: IEEE. <a href=\"https://doi.org/10.1109/asap.2018.8445098\">https://doi.org/10.1109/asap.2018.8445098</a>"},"publication_identifier":{"isbn":["9781538674796"]},"has_accepted_license":"1","publication_status":"published","file_date_updated":"2018-11-14T09:40:42Z","_id":"5547","project":[{"name":"SFB 901 - Subproject C2","_id":"14"},{"name":"SFB 901 - Project Area C","_id":"4"},{"name":"SFB 901","_id":"1"}],"department":[{"_id":"78"}],"user_id":"43646","status":"public","type":"conference","title":"A Highly Accurate Energy Model for Task Execution on Heterogeneous Compute Nodes","publisher":"IEEE","date_created":"2018-11-14T09:26:53Z","year":"2018","ddc":["040"],"language":[{"iso":"eng"}],"file":[{"file_size":2464949,"access_level":"closed","file_name":"loesch_asap2018.pdf","file_id":"5552","date_updated":"2018-11-14T09:40:42Z","creator":"aloesch","date_created":"2018-11-14T09:40:42Z","success":1,"relation":"main_file","content_type":"application/pdf"}],"publication":"2018 IEEE 29th International Conference on Application-specific Systems, Architectures and Processors (ASAP)"}]