This presentation gives a broad overview of recent and ongoing work in the area of Design Automation and Verification at the Department of Computer Science in Bristol. The research activities activities span a wide range of verification techniques from state-of-the-art simulation-based verification up to formal methods including theorem proving. Projects to be presented include:

• power aware system design from silicon to sw (at XMOS)
• approaches to coverage directed test generation (in collaboration with Broadcom)
• discovering complex design behaviour with declarative machine learning techniques (MSc project)
• verification of adaptive human-assistive robotics (in collaboration with BRL)