Downloads (full list below)

The Multicore Challenge

Click here for downloads from the MultiCore Challenge 5 Sept 2011

Software Testing Talks in Bristol

Four great talks on Software Testing in Bristol organised by the BCS with four top speakers

DVClub June 2011

Ken Albin, DVClub June 2011 "Populations, Variety and Selection: Verifying Complex Designs"

The Cortex-A15 Verification Story by Bill Greene (Austin CPU Validation Manager, ARM) and Micah McDaniel (Principal Design Engineer, ARM, was the verification lead for the Cortex-A15 processor)

Ken Albin, DVClub June 2011 "Populations, Variety and Selection: Verifying Complex Designs"

Talk on "Cloud Computing in Biomedicine and Healthcare -- Prospects and Concerns" 6.30pm to 8.30pm on Monday 27th June 2011 at UWE, Bristol

Metric Driven Verification - DVClub 24th Jan

Analog Mixed Signal Verification - DVClub 6th Dec

"Testing Concurrent Software", Shmuel Ur, Bristol University, November 2010

ARM formalized in HOL, Anthony Fox, Computer Laboratory, University of Cambridge

"Mainline Functional Verification of IBM’s POWER7 Processor Core", John Ludden, Senior Technical Staff Member, Hardware Verification, IBM Systems & Technology Group. DVClub November 2010

Using Open Source Verification Tools. DVClub September 2010

The Multicore Challenge was held in Bristol on 14th September 2010

Harry Foster, Chief Verification Scientist at Mentor "Industry Trends Compare and Contrast", University of Bristol, April 2010 (WARNING! 8MB file)

"Migrating to UVM: how and why", Mike Bartley, SNUG UK, Reading, May 2010

"Integrating Ethernet CMS with Internal Verification Environments", Mike Bartley, Cadence Verification Challenge, April 2010

"The Economics of Verification", Mike Bartley, Silicon South-West, April 2010

DVClub 26th April 2010 - on "Design IP – help or hindrance to verification?"

DVClub 18th January 2010 - on "Coverage Closure"