Digital design verification

Thursday 21 Mar 2019, 14:00 → 16:00 Europe/Zurich

31/3-004 - IT Amphitheatre (CERN)

14:00 → 14:05 Introduction

Speakers: John Evans (CERN), Jorgen Christiansen (CERN)

14:05 → 14:25 overview and history

Speaker: Jorgen Christiansen (CERN)

verification.pdf

verification.pptx

14:25 → 14:55 Round table discussion

Feedback on ongoing verification projects.
Verification "workshop" ?
Common activities/blocks ?.
Use of commercial verification IPs ?
Reuse/sharing of existing HEP oriented frameworks
Tools ?
Active use of system-Verilog mailing list ?
AOB