2020

21st AprilVerification of AI Designs

2017

7 FebruaryCache Coherency Verification with Formal, Portable Stimulus, and Multiple Platforms

2016

27 NovemberSafety
27 SeptemberSoftware Driven Verification
24 MayDebug
08 MarchVerifying Hardware Security

* Please specify in you abstract the month / theme of the DVClub meeting you are submitting for.

2015

01 DecemberCoverage Closure
20 OctoberFunctional Safety in Hardware Verification
22 SeptemberPower
20 AprilAchieving Verification Reuse

2014

8 SeptemberPerformance Verification
7 JulyAssertion Based Verification
28 AprilVerification Qualification
13  JanuaryManaging Verification Data UCIS

2013

9  SeptemberSystem Verilog and  UVM Update
1  JulyPower Aware Verification with UPF
8  AprilWilson Research Group 2012 Functional Verification Study & Mike Bartley Challenges
14  JanuaryOpen Source Tools for Verification

2012

22  November “Easier UVM” with Dr David Long of Doulos
8  OctoberAMS Verification
2  JulyGraph Based Verification
23  AprilAdopting UVM

2011

26  SeptemberAssertion Based Verification:Eric Deal, Cyclic DesignNitin Mhaske, NextOp Software
6  JunePopulations, Variety and Selection: Verifying Complex Designs
24  JanuaryMetric Driven Verification

2010

6  DecemberAnalog Mixed-Signal Verification
1  NovemberMainline Functional Verification of IBM’s POWER7 Processor Core
20  SeptemberUsing Open Source Verification Tools
26  AprilDesign IP – help or hindrance to verification?
18  JanuaryCoverage Closure