From Protocol Models to Their Implementation: A Versatile Testing Methodology

  • Authors:

  • Maria Varsamou;Nikolaos Papandreou;Theodore Antonakopoulos

  • Affiliations:

  • University of Patras;Computer Technology Institute;University of Patras

  • Venue:
  • IEEE Design & Test
  • Year:
  • 2004

Quantified Score

Hi-index 0.00

Visualization

Abstract

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