Advertisement

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

Linear Temporal Logic Atomic Property Verification Tool Simulation Application Linear Temporal Logic Formula 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

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