<< 2008-9 >>
Department of
Computer Science
 
Cadence Academic Network at the University of Bristol

Cadence Academic Network Activities

Lead Institution Member in "Advanced Verification Methodology" since 2007

In 2007 Bristol has been selected as a lead university to head the Cadence Academic Network in the area of Advanced Verification Methodology. Dr Kerstin Eder, Senior Lecturer in the Department of Computer Science, was invited to present her state-of-the-art approach to Design Verification education and research at CDNLive! in April 2008. More information can be obtained from a press release that appeared at Electronicstalk.

The involvement of the Department of Computer Science in the Cadence Academic network includes both teaching and research activities. In addition, Cadence are in the process of setting up two student prizes to be awarded from 2010 onwards.

Teaching

Design Verification

Currently, the Design Verification unit is supported by labs which use state-of-the-art industrial design verification tools and methods, such as Specman Elite, which are provided through the Cadence Academic Network.

Student Projects

In collaboration with Nick Heaton, Senior Architect at Cadence Design Systems Inc., we are running an Advanced MSc project entitled "Correlating Power Consumption Data from the Hardware and Software Perspective".

Research

Software provided through the Cadence Academic Network is currently being used for research in the following areas:

Student Prizes

We are currently setting up two new student prizes to be awarded hopefully from 2010 onwards.
© 1995-2009 University of Bristol  |  Terms and Conditions  |  Cadence is a registered trademark of Cadence Design Systems, Inc., 2655 Seely Avenue, San Jose, CA 95134.
About this Page