Global Sources
EE Times-India
Stay in touch with EE Times India
EE Times-India > T&M

VERTIGO to check on TLM, RTL standards

Posted: 08 Feb 2007     Print Version  Bookmark and Share

Keywords:Commission of the European Communities  STMicroelectronics  verification  VERTIGO 

The Commission of the European Communities within the Information Society Technology (I ST) area has launched a project to bridge the gap between system-level modelling and verification performed at the transactional level and the traditional RTL signoff description. The Commission partnered with industry companies STMicroelectronics, Aerielogic, and TransEDA Systems, and with four Europe universities for the project.

Named Verification and Validation of Embedded System Design workbench (VERTIGO), the project will check the consistency of different transaction level models (TLM) and the RTL, regardless of the refinement process used. The case studies, taken from embedded systems developed by ST, will focus on mixed-level/mixed-language flows, involving both TLM and RTL.

"We hope to achieve several technology breakthroughs with VERTIGO," said Umberto Rossi, ST's head of functional verification support and leader of the VERTIGO project. "The most important of these is the development of expression coverage criteria common to TLM and RTL that are capable of driving system validation between different abstraction levels."

Moreover, the VERTIGO project will investigate several formal techniques that contribute to different stages of the design-flow modelling and verification, and those that are integrated with the simulation-based approach. An assertion-based verification method will also be developed for static and dynamic verification with emphasis on TLM and the related metrics to measure their coverage. Finally, the project team will prototype a SW/HW co-verification environment, capable of driving the development of SW routines for embedded platform test.

VERTIGO will take the roadmaps of Accelera as reference for the development of verification standards and OSCI for TLM standardisation. The project, which began in June 2006, will run until November 2008.

Comment on "VERTIGO to check on TLM, RTL standar..."
*  You can enter [0] more charecters.
*Verify code:


Visit Asia Webinars to learn about the latest in technology and get practical design tips.


Go to top             Connect on Facebook      Follow us on Twitter      Follow us on Orkut

Back to Top