Design Automation and Verification Group
Projects
- Logic Verification, Synthesis and Test in a New United Framework and
Low Power Testable Designs: EPSRC GR/S40855/01. [October 2003 - October
2006]
- Advanced Specialization and Analysis for Pervasive Systems: EC
5th Framework Programme IST-2001-38059. [November 2002 - November 2005].
Past Projects
- Modelling and Verification of System-on-Chip
Architectures supported by the EPSRC. [2000 - 2003]
- Investigation into Feedback-based Coverage Directed Stimulus Generation
using Fuzzy State Machines supported by Broadcom in a collaborative Summer
Project. [2002 - 2003]
- Formal Modelling and Verification of Microprocessor Pipeline Correctness
and Performance supported by Broadcom in a collaborative Summer Project. [2001]
Please
contact us if you have a
practical verification-related topic that would benefit from academic
investigation.
