Observer-BasedVerification Using Introspection: A System-level Verification Implementation

  • M. Metzger
  • F. Bastien
  • F. Rousseau
  • J. Vachon
  • E. M. Aboulhamid

Verification tools are part of a new generation of CAD tools, mandatory to cope with the growing complexity of Systems-On-Chip. We believe that all these tools should be built on top of a modern and standard framework. ESys.NET is a design environment based on the .NET Framework. It takes advantage of advanced programming features which facilitate the integration of external tools, such as verification tools. This work presents the implementation of an observer-based verification tool for ESys.NET. We show that our tool’s verification capabilities, relying on introspection mechanisms, does modify neither the model nor the simulator while retrieving the state of the model during simulation or checking a set of userdefined rules. Keywords Verification tool, observer, introspection, system-level.

Keywords

Europe Veri Cuted 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer 2007

Authors and Affiliations

  • M. Metzger
    • 1
  • F. Bastien
    • 1
  • F. Rousseau
    • 2
  • J. Vachon
    • 1
  • E. M. Aboulhamid
    • 1
  1. 1.Université de MontréalCanada
  2. 2.Laboratoire TIMAFrance

Personalised recommendations