Bristol takes the lead in Advanced Verification
18 April 2008
Cadence has selected the University of Bristol to be a lead university in Advanced Verification to head the Cadence Academic Network in Europe in this methodology area.
Dr Kerstin Eder, Senior Lecturer in the Department of Computer Science at Bristol University, has been invited to present her pioneering work in setting up Design Verification within a Computer Science undergraduate degree programme at the Cadence Academic Network Symposium during "CDNLive!", the Cadence annual user conference, taking place in Munich, Germany, later this month [28-30 April].
Dr Eder introduced the subject of Design Verification into the Computer Science curriculum in 2002. This made Bristol University the first and, so far, only university in the UK to train Computer Science undergraduates in the skills expected from professional Verification Engineers.
Design Verification is the process used to demonstrate the functional correctness of a design prior to manufacture.
Dr Eder teaches simulation-based verification techniques, state-of-the-art coverage-driven verification methods, constrained pseudo-random test generation, advanced coverage measurement, assertion-based verification and the latest formal verification
"I really appreciate Cadence's focus on methodology. The comprehensive examples in the SOC Verification Kit will be an excellent basis to investigate and communicate the multiple aspects of verification methodology. The practical experience our students gain in the lab’s with Cadence’s leading-edge verification tools are invaluable for their learning and a great asset when they join the work force," said Dr Eder. "It is an honour for us and also a responsibility, to take the lead in the Advanced Verification area."
Design Verification is a rewarding new career path that complements traditional IC Design. The increasing amount of high-level code used for design verification demands good programming and software engineering skills. This is why Design Verification is offered to Computer Science and Computer Systems Engineering students at Bristol.
Dr Patrick Haspel, Strategic University Partnerships, EMEA at Cadence said, "Looking into the verification challenge, educating students from the computer science side is a new approach that matches the current development trend in Advanced Verification methods. Dr Eder started to incorporate the 'e' language in her courses in tight collaboration with Verisity 6 years ago (Verisity was acquired by Cadence in 2005). This is the most sophisticated verification curriculum I have seen in Europe so far."
See Electronicstalk for further information.