MARP meeting 34

Europe/Zurich
zoom (CERN)

zoom

CERN

    • 15:00 15:45
      Discussion on synergies between MARP and CEM activites 45m
      Speakers: Alessandro Masi (CERN), Javier Serrano (CERN), Salvatore Danzeca (CERN)
    • 15:45 16:00
      AOB: possibility for training on Formal Property Verification of VHDL/Verilog code with SystemVerilog Assertions 15m
      Speaker: Andrea Apollonio (CERN)