Electronics-forum #16 joint with Formal Methods Interest Group: Formal Verification of Gateware

Thursday 3 Apr 2025, 10:30 → 12:00 Europe/Zurich

Forum Conveners

Disclaimer: The Electronics Forum meetings are meant to be informal and not exhaustive; their purpose is to provide a space for developers to have open discussions. Any outcome from the Forum shall then be further analysed and potentially presented to CTTB.

---

https://confluence.cern.ch/x/rgENIw

1 Introduction

Joint Forum with the 'Formal Methods Interest Group'
- formal-methods-interest-group@cern.ch
- https://confluence.cern.ch/display/FMVWG/Formal+methods+interest+group+Home

Speakers: Borja Fernandez Adiego (CERN), Evangelia Gousiou (CERN), Hamza Boukabache (CERN), Mathieu Saccani (CERN)

2025-04-03-Formal_verification_intro.pdf

2 Formal Verification in the COLIBRI project

Speaker: Alberto Perro (Universite d'Aix-Marseille III (FR))

formal_colibri.pdf

3 Formal Verification in the CROME project

Speaker: Clyde Laforge (CERN)

CROME_FormalVerificationElectronicsForum.pdf

4 Formal Verification in the FGC project

Speaker: Valerio Nappi

formal-EF.odp

formal-EF.pdf

5 Discussion on central support/ tools/ trainings

Speaker: Christos Gentsos (CERN (IT-CA-GES))

Formal tools - 03.04.2025.odp

Formal tools - 03.04.2025.pdf

6 Discussion & Wrap-up

Additional time for questions