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:- Design Verification: Dr Kerstin Eder
- On-Chip Interconnect: Dr Simon Hollis