loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
17th IEEE International Workshop on Rapid System Prototyping (RSP'06)
Introspection Mechanisms for Semi-Formal Verification in a System-Level Design Environment
Chania, Crete
June 14-June 16
ISBN: 0-7695-2580-6
ASCII Text
x 
 
M. Metzger, F. Bastien, F. Rousseau, J. Vachon, E. M. Aboulhamid, "Introspection Mechanisms for Semi-Formal Verification in a System-Level Design Environment," Rapid System Prototyping, IEEE International Workshop on, pp. 91-97, 17th IEEE International Workshop on Rapid System Prototyping (RSP'06), 2006.
 
 
BibTex
x
 
@article{ 10.1109/RSP.2006.22,
author = {M. Metzger and F. Bastien and F. Rousseau and J. Vachon and E. M. Aboulhamid},
title = {Introspection Mechanisms for Semi-Formal Verification in a System-Level Design Environment},
journal ={Rapid System Prototyping, IEEE International Workshop on},
volume = {0},
year = {2006},
issn = {1074-6005},
pages = {91-97},
doi = {http://doi.ieeecomputersociety.org/10.1109/RSP.2006.22},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Rapid System Prototyping, IEEE International Workshop on
TI - Introspection Mechanisms for Semi-Formal Verification in a System-Level Design Environment
SN - 1074-6005
SP91
EP97
A1 - M. Metzger,
A1 - F. Bastien,
A1 - F. Rousseau,
A1 - J. Vachon,
A1 - E. M. Aboulhamid,
PY - 2006
KW - null
VL - 0
JA - Rapid System Prototyping, IEEE International Workshop on
ER -
 
M. Metzger, Universit? de Montr?al, Canada
F. Bastien, Universit? de Montr?al, Canada
F. Rousseau, Laboratoire TIMA, France
J. Vachon, Universit? de Montr?al, Canada
E. M. Aboulhamid, Universit? de Montr?al, Canada
A new generation of CAD tools is mandatory to cope with the growing complexity of System-On-Chip. We believe that they 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 facilitates the integration of external tools.

This paper presents a semi-formal verification tool for ESys.NET. Introspection ability is emphasized together with its capabilities to cooperate with third party tools. Introspection is used to retrieve the state of the model during simulation and to check a set of user defined rules. Neither the model nor the simulator is modified by the verification process. Experimentations on an AMBA bus model highlight the effectiveness of this approach.

Citation:
M. Metzger, F. Bastien, F. Rousseau, J. Vachon, E. M. Aboulhamid, "Introspection Mechanisms for Semi-Formal Verification in a System-Level Design Environment," rsp, pp.91-97, 17th IEEE International Workshop on Rapid System Prototyping (RSP'06), 2006
Usage of this product signifies your acceptance of the Terms of Use.