MARP meeting 34
Wednesday 21 Apr 2021, 15:00
→
16:20
Europe/Zurich
zoom (CERN)
zoom
CERN
marp_34_edms_2566313_3.docx
marp_34_edms_2566313_3.pdf
1
Discussion on synergies between MARP and CEM activites
Speakers
:
Alessandro Masi
(
CERN
)
,
Javier Serrano
(
CERN
)
,
Salvatore Danzeca
(
CERN
)
2
AOB: possibility for training on Formal Property Verification of VHDL/Verilog code with SystemVerilog Assertions
Speaker
:
Andrea Apollonio
(
CERN
)