MARP meeting 34
Wednesday 21 April 2021 -
15:00
Monday 19 April 2021
Tuesday 20 April 2021
Wednesday 21 April 2021
15:00
Discussion on synergies between MARP and CEM activites
-
Salvatore Danzeca
(
CERN
)
Alessandro Masi
(
CERN
)
Javier Serrano
(
CERN
)
Discussion on synergies between MARP and CEM activites
Salvatore Danzeca
(
CERN
)
Alessandro Masi
(
CERN
)
Javier Serrano
(
CERN
)
15:00 - 15:45
Room: zoom
15:45
AOB: possibility for training on Formal Property Verification of VHDL/Verilog code with SystemVerilog Assertions
-
Andrea Apollonio
(
CERN
)
AOB: possibility for training on Formal Property Verification of VHDL/Verilog code with SystemVerilog Assertions
Andrea Apollonio
(
CERN
)
15:45 - 16:00
Room: zoom