Issue No. 05 - September/October (2004 vol. 21)
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/MDT.2004.61
Maria Varsamou , University of Patras
Nikolaos Papandreou , Computer Technology Institute
Theodore Antonakopoulos , University of Patras
<em>Editor's note:</em>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. <div>--<em>Carl Pixley, Synopsys</em></div>
N. Papandreou, T. Antonakopoulos and M. Varsamou, "From Protocol Models to Their Implementation: A Versatile Testing Methodology," in IEEE Design & Test of Computers, vol. 21, no. , pp. 416-428, 2004.