Events

Registration

Help us plan for a proper setup by registering for this free event.
Contact Mike Bartley at TVS:
– Email: mike@tandvsolns.co.uk
– Telephone: 07796 307958

Speakers

Mike Benjamin - IP Verification Manager, ST-NXP Wireless
Deploying Functional Qualification at STMicroelectronics: Methodologies and Case Studies
 

• 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

• Kirsten 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 Aspect-Extended UML Modeling to e

• 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
Future events planned so far:

• January 2009: The practical application of Formal Verification
• March 2009: Methodologies – an overview and using VMM/OVM