2020
| 21st April | Verification of AI Designs |
2017
| 7 February | Cache Coherency Verification with Formal, Portable Stimulus, and Multiple Platforms |
2016
| 27 November | Safety |
| 27 September | Software Driven Verification |
| 24 May | Debug |
| 08 March | Verifying Hardware Security |
* Please specify in you abstract the month / theme of the DVClub meeting you are submitting for.
2015
| 01 December | Coverage Closure |
| 20 October | Functional Safety in Hardware Verification |
| 22 September | Power |
| 20 April | Achieving Verification Reuse |
2014
| 8 September | Performance Verification |
| 7 July | Assertion Based Verification |
| 28 April | Verification Qualification |
| 13 January | Managing Verification Data UCIS |
2013
2012
| 22 November | “Easier UVM” with Dr David Long of Doulos |
| 8 October | AMS Verification |
| 2 July | Graph Based Verification |
| 23 April | Adopting UVM |
2011
| 26 September | Assertion Based Verification:Eric Deal, Cyclic DesignNitin Mhaske, NextOp Software |
| 6 June | Populations, Variety and Selection: Verifying Complex Designs |
| 24 January | Metric Driven Verification |
2010
| 6 December | Analog Mixed-Signal Verification |
| 1 November | Mainline Functional Verification of IBM’s POWER7 Processor Core |
| 20 September | Using Open Source Verification Tools |
| 26 April | Design IP – help or hindrance to verification? |
| 18 January | Coverage Closure |