loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Sixth International Symposium on Quality of Electronic Design (ISQED'05)
Functional Verification of Networked Embedded Systems
San Jose, California
March 21-March 23
ISBN: 0-7695-2301-3
ASCII Text
x 
 
Nicola Bombieri, Franco Fummi, Graziano Pravadelli, "Functional Verification of Networked Embedded Systems," Quality Electronic Design, International Symposium on, pp. 321-326, Sixth International Symposium on Quality of Electronic Design (ISQED'05), 2005.
 
 
BibTex
x
 
@article{ 10.1109/ISQED.2005.59,
author = {Nicola Bombieri and Franco Fummi and Graziano Pravadelli},
title = {Functional Verification of Networked Embedded Systems},
journal ={Quality Electronic Design, International Symposium on},
volume = {0},
year = {2005},
isbn = {0-7695-2301-3},
pages = {321-326},
doi = {http://doi.ieeecomputersociety.org/10.1109/ISQED.2005.59},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Quality Electronic Design, International Symposium on
TI - Functional Verification of Networked Embedded Systems
SN - 0-7695-2301-3
SP321
EP326
A1 - Nicola Bombieri,
A1 - Franco Fummi,
A1 - Graziano Pravadelli,
PY - 2005
KW - null
VL - 0
JA - Quality Electronic Design, International Symposium on
ER -
 
Nicola Bombieri, Universit? di Verona, Italy
Franco Fummi, Universit? di Verona, Italy
Graziano Pravadelli, Universit? di Verona, Italy
In this paper we propose an automatic mechanism to extract the environment of a networked embedded system (NEV), and a functional verification methodology, which mixes automatic test pattern generation and model checking, exploiting the network environment constraints.
Citation:
Nicola Bombieri, Franco Fummi, Graziano Pravadelli, "Functional Verification of Networked Embedded Systems," isqed, pp.321-326, Sixth International Symposium on Quality of Electronic Design (ISQED'05), 2005
Usage of this product signifies your acceptance of the Terms of Use.