Observer-BasedVerification Using Introspection: A System-level Verification Implementation
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.
KeywordsLinear Temporal Logic Atomic Property Verification Tool Simulation Application Linear Temporal Logic Formula
Unable to display preview. Download preview PDF.