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 |