FDL TBA

Forum on specification & Design Languages




@TBA, TBA
TBA, TBA



@TBA, TBA



Program


Wednesday 13/09 Thursday 14/09 Friday 15/09
08:00 Registration
08:30 Opening Remarks Special Session: How do you RISC-V? Session 3: Compilation and Optimization
09:00 Session 1: RISC-V Simulation, Verification, and Optimization
09:30
10:00 WiP Session
10:30 Coffee Break Coffee Break Coffee Break - Posters
11:00 Tutorial 1: Get the Most out of Your Waveforms -
From Non-functional Analysis to Functional
Debug via Programs on Waveforms
Tutorial 2: Formal specification language CAT for
weak memory models and bounded model checking
with Dartagnan
11:30 Session 4: Designing, Modeling, and
Analyzing Instructions and Hardware
12:00 Keynote 1: Analog meets digital: how SystemC AMS
can help in the design of gate drivers
Keynote 2: Design for Quantum Computing:
New Paradigms, new methods, new tools?
12:30
13:00 Lunch Lunch Lunch
13:30
14:00 Session 2: Security and Machine Learning on the Edge Panel Session: The Impact of AI to the
Future of Design and specification Languages
Closing Remarks & Best Paper Award
14:30
15:00 Moving to social event
15:30 Coffee Break
16:00 Project Dissemination Social event
16:30
17:00 Ph.D Forum
17:30
18:00
18:30 Welcome Reception
19:00 Moving to dinner
19:30 Dinner
20:00
20:30
21:00




Research Papers


Sessions


Keynotes





Tutorials





Panel





Social Program






FDL is in ,