From Protocol Models to Their Implementation: A Versatile Testing Methodology

Design&Test
2004
Issue No. 5 - September/October
Abstract - From Protocol Models to Their Implementation: A Versatile Testing Methodology

	This Article
	Subscribers, please Login Purchase article: $19 PDF HTML IEEE Xplore Subscribers RSS feed
	Share
	Email this Article to a friend
	Bibliographic References
	ASCII Text BibTex RefWorks Procite/RefMan
	Add to:
	Digg Furl Spurl Blink Simpy Google Del.icio.us Y!MyWeb
	Search
	Similar Articles Articles by Maria Varsamou Articles by Nikolaos Papandreou Articles by Theodore Antonakopoulos

September/October 2004 (vol. 21 no. 5)

pp. 416-428

	ASCII Text	x
	Maria Varsamou, Nikolaos Papandreou, Theodore Antonakopoulos, "From Protocol Models to Their Implementation: A Versatile Testing Methodology," IEEE Design and Test of Computers, vol. 21, no. 5, pp. 416-428, September/October, 2004.

	BibTex	x
	@article{ 10.1109/MDT.2004.61, author = {Maria Varsamou and Nikolaos Papandreou and Theodore Antonakopoulos}, title = {From Protocol Models to Their Implementation: A Versatile Testing Methodology}, journal ={IEEE Design and Test of Computers}, volume = {21}, number = {5}, issn = {0740-7475}, year = {2004}, pages = {416-428}, doi = {http://doi.ieeecomputersociety.org/10.1109/MDT.2004.61}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, }

	RefWorks Procite/RefMan/Endnote	x
	TY - MGZN JO - IEEE Design and Test of Computers TI - From Protocol Models to Their Implementation: A Versatile Testing Methodology IS - 5 SN - 0740-7475 SP416 EP428 EPD - 416-428 A1 - Maria Varsamou, A1 - Nikolaos Papandreou, A1 - Theodore Antonakopoulos, PY - 2004 VL - 21 JA - IEEE Design and Test of Computers ER -

Maria Varsamou, University of Patras

Nikolaos Papandreou, Computer Technology Institute

Theodore Antonakopoulos, University of Patras

DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/MDT.2004.61

Editor's note:In this protocol design and verification scheme, high-level models serve in generating simulation sequences for low-level models, and all simulation is based on directed testing. The methodology is versatile and flexible, but it might be difficult to set up the first time.

--Carl Pixley, Synopsys

Citation:

Maria Varsamou, Nikolaos Papandreou, Theodore Antonakopoulos, "From Protocol Models to Their Implementation: A Versatile Testing Methodology," IEEE Design and Test of Computers, vol. 21, no. 5, pp. 416-428, Sep./Oct. 2004, doi:10.1109/MDT.2004.61

Peer Review Notice | Give Us Feedback

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