• Home
>
• RSP Symposium
>
• Program

RSP 2023 Program

 

 

The proceedings can be downloaded through this secured link. Access credentials will be provided during the event to the registered attendees.

Indicated time is in CET (Europe) time zone

9:00 am - Welcome and Opening Remarks

9:05 am - 10:00 am  Keynote - Session Chair: Kenneth Kent, University of New Brunswick

• Prof. Frédéric Pétrot, TIMA Lab/University Grenoble-Alpes, Digital Hardware Acceleration for Neural Networks: Implementation Considerations [slides]

10:00 am - 10:30 am    Coffee break

10:30 am - 12:00 pm  Session 1 - Session Chair: Frédéric Rousseau, TIMA, University Grenoble-Alpes 

• Choonghoon Park, Hyunsu Moh, Jimin Lee, Changjae Yi and Soonhoi Ha
  Fast and Accurate Virtual Prototyping of an NPU with Analytical Memory Modeling

• Navid Jafarof and Kenneth Kent
  The Impact of Heterogeneous Logic on Adders and Multipliers in VTR

• Mohamed Nadeem, Jan Kleinekathöfer and Rolf Drechsler
  Polynomial Formal Verification exploiting Constant Cutwidth

12:00 pm - 1:30 pm    Lunch break

1:30 pm - 3:00 pm  Session 2 - Session Chair: Ozcan Ozturk, Bilkent University 

• Felipe Gohring de Magalhães, Mahdi Nikdast and Gabriela Nicolescu
  SerIOS: Enhancing Hardware Security in Integrated Optoelectronic Systems

• Alireza Azadi, Amir Arjomand and Kenneth Kent
  Extending Memory Compatibility with Yosys Front-End in VTR Flow

• Tobias Strauch
  MRPHS: A Verilog RTL to C++ Model Compiler Using Intermediate Representations for Object-oriented, Model-driven Prototyping

• Raphaële Milan, Loïc Lagadec, Théotime Bollengier, Lilian Bossuet and Ciprian Teodorov
  Secured-by-design systems-on-chip: a MBSE Approach

3:00 pm - 3:30 pm    Coffee break

3:30 pm - 5:00 pm  Session 3 - Session Chair: Frédéric Rousseau, TIMA, University Grenoble-Alpes 

• Henrique Amaral Misson, Rim Zrelli, Maroua Ben Attia, Felipe Gohring de Magalhães and Gabriela Nicolescu
  ReDaML: A Modeling Language for DO-178C High-Level Requirements in Airspace Systems

• Colin Stéphenne, Felipe Göhring de Magalhaes, Frédéric Cuppens, Jean-Yves Ouattara, Militza Jean, José Fernandez and Gabriela Nicolescu
  Security assessment of a commercial router using physical access: a case study

• Melih Peker and Ozcan Ozturk
  Fast Compiler Optimization Flag Selection

• Fearghal Morgan, John Patrick Byrne, Abishek Bupathi, Roshan George, Adnan Elahi, Frank Callaly and Declan O'Loughlin
  HDLGen-ChatGPT Case Study: RISC-V Processor VHDL and Verilog Model, Testbench and EDA Project Generation

 

5:00 pm  - End of Workshop

 

---

Keynote - Digital Hardware Acceleration for Neural Networks: Implementation Considerations [slides]

Frédéric Pétrot, Professor at TIMA Lab, Grenoble Institute of Technology, University Grenoble-Alpes, France

Abstract: The computations performed to achieve inference with deep neural networks range from hundreds of MFLOPs to tens of GFLOPs, and require access to a number of parameters that goes from around a million to over billions. Under these conditions, conventional CPUs have shown their limits, and programmable hardware architectures with a high level of parallelism have been developed. The silicon surface area and energy consumption of these solutions is very high, and a great deal of work is done to find more economical solutions, by playing on multiple factors. This keynote will first give an overview of the approaches currently being pursued to improve performance and power consumption, while minimizing the loss of precision, and second focus on the specific example of a ternary neural network designed and developed in our group.

---