Home | People | Research Projects | Publications | Techreports | Tools | Vacancies | Seminars
This is now an inactive research group it's members have moved on. You can find them at their new research groups:
Research Projects
Formal Methods Projects
Design, Automation, Simulation and Optimisation Projects
European Commission Funded

DSSE:Research Projects

VERTIGO - Verification and Validation of Embedded System Design Workbench
(this project has ended)

VERTIGO addresses a new generation of technologies and tools for modelling and testing embedded platforms, that will be the foundation for a viable and cost-efficient mapping of HW/SW systems embedded in intelligent devices. The contributions of the VERTIGO project include: (1) Definition of an HW/SW co-simulation strategy which allows to check the correctness of the interaction between HW and SW through simulation and assertion checking. (2) A verification framework that combines simulation with model checking to reduce verification time and increase coverage. (3) The development of techniques to separate the verification of IPs interaction from the verification of the IP-cores to facilitate efficient design-reuse. (4) Integration of formal and dynamic techniques in a seamless manner and federated around an assertion-based methodology and new coverage metrics. (5) Integrating several state-of-the-art static verification techniques (SAT, High-Level Decision Diagrams, Hierarchical Petri Nets, EFSMs) to the same platform. (6) Bounded and unbounded model checking capability based on SAT, by selecting and extending the most promising existing solutions. (7) The utilization of hybrid solvers in RTL unbounded model checking, by extending previous work on SAT technology and on SAT extensions.

Homepage: http://www.vertigo-project.eu/
Type: Normal Research Project
Research Group: Dependable Systems & Software Engineering
Themes: Formal Methods, Design, Automation, Simulation and Optimisation
Dates: 1st June 2006 to 30th November 2008


  • ST Microlectronics, TransEDA, AerieLogic
  • University of Verona, Linkoping University
  • Tallinn University of Technology


  • European Commission

Principal Investigators

  • jpms

Other Investigators

  • jp3
  • pocm06r
  • jlc05r

Associated Publications

Welcome to ePrints Soton - ePrints Soton
The University of Southampton

Welcome to ePrints Soton

Welcome to the University of Southampton Institutional Research Repository, ePrints Soton. This repository contains details and, if available, downloads of our research output.

Information on this website should be updated via PURE, our research management system. For issues and queries on outputs and open access, please contact the ePrints team at eprints@soton.ac.uk or view the University's Pure support pages.

Search Repository

Search the repository using a full range of fields. Use the search field at the top of the page for a quick search.

Contact ePrints Soton: eprints@soton.ac.uk

ePrints Soton supports OAI 2.0 with a base URL of http://eprints.soton.ac.uk/cgi/oai2

This repository has been built using EPrints software, developed at the University of Southampton, but available to everyone to use.

We use cookies to ensure that we give you the best experience on our website. If you continue without changing your settings, we will assume that you are happy to receive cookies on the University of Southampton website.

© School of Electronics and Computer Science of the University of Southampton