Functional Verification of Networked Embedded Systems

San Jose, California March 21-March 23

DOI Bookmark:

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

Sixth International Symposium on Qual ...

	This Article
	PURCHASE ARTICLE: $19 PDF HTML IEEE Xplore Subscribers
	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

	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

Peer Review Notice | Give Us Feedback

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