Bristol is our newest DVClub chapter and our very first in the UK. Mike is the area organizer, so feel free to
This e-mail address is being protected from spam bots, you need JavaScript enabled to view it
with questions or suggestions about events.
DVClub events run around the world – from Austin to Bangalore. The events cover recent user verification experiences and give a chance to meet others in the business and to catch up with old friends. There is no marketing, just a free exchange of ideas and experiences.
So, if you're in verification and would like to meet fellow professionals, discuss verification trends, speculate on chosen career paths, or just eat free food, then DVClub is for you.
Upcoming DVClub Events
January 2009: The practical application of Formal Verification
March 2009: Methodologies – an overview and using VMM/OVM
Mike Benjamin - IP Verification Manager, ST-NXP Wireless
Deploying Functional Qualification at SMT Microelectronics - pdf (116K)
Mike has been actively involved in functional verification and dependable computing for more than 20 years. Previously he spent eight years leading the central Functional Verification Group for STMicroelectronics. In that role he was responsible for driving the development and deployment of leading edge functional verification tools and methodologies.
Bartley's presentation describes the motivation and history Certess' Certitude tool for functional qualification before going on to discuss the methodology and how the tool is being used inside ST. Finally it will look at a couple of case studies including both measuring the quality of 3rd party IP and its use on a video codec.
Kersten Eder - Professor, University of Bristol
Design Verification Research and Teaching - pdf (116K)
Genetic Programming in Automated Test Code Generation for a Multi-Treaded Microprocessor - pdf (427K)
Kersten teaches and performs research related to functional
verification at the University of Bristol, the leading European
university in Advanced Verification Methodology.
Much of her work is responsible for leading the Cadence
Academic Network. She is currently engaged in research projects at MSc
and PhD/EngD level with the local industry. Some of these projects are
currently focused on coverage-directed stimulus generation.
Darren Galpin - Design Verification Engineer, Infineon Technologies
Applying Apsect-Extended UML Modelling to e - pdf (157K)
Daren has worked in Product Engineering and Verification at STMicroelectronics,
and in Verification at Infineon Technologies since 2000. He is
currently Module IP Verification Team Lead in Bristol
Agenda
11.30
Networking, free drinks and buffet
12.00
Introduction
Mike Bartley, TVS
12.05
Speed Dating!
A chance for students to pitch for projects/placements with local companies
12.15
Kerstin's Corner
Kerstin Eder
of Bristol University gives an update on current research topics and
local research projects in functional verification.
12.35
“Applying aspect-extended UML modelling to e”, Darren Galpin, Infineon Technoilogies
Darren Galpin
worked in Product Engineering and Verification at STMicroelectronics,
and in Verification at Infineon Technologies since 2000. He is
currently Module IP Verification Team Lead in Bristol.
13.00
“Deploying functional qualification at STMicroelectronics: Methodologies and case studies”, Mike Benjamin, STMicroelectronics
Certitude is a novel tool for functional qualification that has been developed by Certess
over the last few years in close collaboration with ST. This talk
describes the motivation and history of this engagement before going on
to discuss the methodology and how the tool is being used inside ST.
Finally it will look at a couple of case studies including both
measuring the quality of 3rd party IP and its use on a video codec.
This paper was originally presented at DAC ‘08. Mike Benjamin is an IP
Verification Manager for ST-NXP Wireless.
13.40
Discuss content and format of future events. Networking, free drinks and buffet
14.00
End
This event is sponsored by Certess, TVS and partnered by NMI
Bristol