Functional Verification of Networked Embedded Systems

	This Article
	Subscribers, please Login Purchase article: $19 PDF IEEE Xplore Subscribers RSS feed
	Share
	Email this Article to a friend
	Bibliographic References
	ASCII Text BibTex RefWorks Procite/RefMan/Endnote
	Add to:
	Digg Furl Spurl Blink Simpy Google Del.icio.us Y!MyWeb
	Search
	Similar Articles Articles by Nicola Bombieri Articles by Franco Fummi Articles by Graziano Pravadelli

Sixth International Symposium on Quality of Electronic Design (ISQED'05)

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

DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/ISQED.2005.59

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

Peer Review Notice | Give Us Feedback

Usage of this product signifies your acceptance of the Terms of Use.