RSP

Publications

2023

Felipe G. Magalhaes, Mahdi Nikdast, Gabriela Nicolescu
SerIOS: Enhancing Hardware Security in Integrated Optoelectronic Systems. RSP (2023)
Raphaële Milan, Loïc Lagadec, Théotime Bollengier, Lilian Bossuet, Ciprian Teodorov
Secured-by-design systems-on-chip: a MBSE Approach. RSP (2023)
Colin Stephenne, Felipe Gohring de Magalhaes, Frédéric Cuppens, Jean-Yves Ouattara, Militza Jean, Jose Fernandez, Gabriela Nicolescu
Security assessment of a commercial router using physical access: a case study. RSP (2023)
Fearghal Morgan, John Patrick Byrne, Abishek Bupathi, Roshan George, Muhammad Adnan Elahi, Frank Callaly, Sean Kelly, Declan O'Loughlin
HDLGen-ChatGPT Case Study: RISC-V Processor VHDL and Verilog Model - Testbench and EDA Project Generation. RSP (2023)
Navid Jafarof, Kenneth B. Kent
The Impact of Heterogeneous Logic on Adders and Multipliers in VTR. RSP (2023)
Melih Peker, Ozcan Ozturk
Fast Compiler Optimization Flag Selection. RSP (2023)
Choonghoon Park, Hyunsu Moh, Jimin Lee, Changjae Yi, Soonhoi Ha
Fast and Accurate Virtual Prototyping of an NPU with Analytical Memory Modeling. RSP (2023)
Alireza Azadi, Amir Arjomand, Kenneth B. Kent
Extending Memory Compatibility with Yosys Front-End in VTR Flow. RSP (2023)
Henrique Amaral Misson, Rim Zrelli, Maroua Ben Attia, Felipe Gohring de Magalhaes, Gabriela Nicolescu
ReDaML: A Modeling Language for DO-178C High-Level Requirements in Airspace Systems. RSP (2023)
Mohamed Nadeem, Jan Kleinekathöfer, Rolf Drechsler
Polynomial Formal Verification exploiting Constant Cutwidth. RSP (2023)
Tobias Strauch
MRPHS: A Verilog RTL to C++ Model Compiler Using Intermediate Representations for Object-oriented Model-driven Prototyping. RSP (2023)
Proceedings of the 34th International Workshop on Rapid System Prototyping, RSP 2023, Hamburg, Germany, 21 September 2023 RSP (2023)

2022

2021

2020

2019