MAC(Media Access Control)—媒体接入控制,是以太网中最常用的物理层到数据链路层的接口电路。随着以太网技术的不断发展,MAC的规格也变的越来越复杂、越来越多样:速度分10M、100M、1000M;模式有全双工和半双工;接口形式分为MII、RMII、GMII、RGMII、TBI等等,而本课题中所要验证的MAC即为支持所有以上提到功能的IP。Vera语言是Synopsys公司推出的一种直观的、面向对象的高级语言,它是专门为了满足功能测试的独特需求而开发的,它提供了例如“类”这样强大的数据结构和方便的进程监控等软件功能,同时又支持众多的硬件特性。目前商用的最高版本是Linux下的2005.06SP1(至2006年9月)。本文的内容就是利用Vera语言搭建一个可重用的、模块化的、层次化的通用MAC的验证环境,研究了验证平台中的各个功能模块的设计方法,分析了IP单独验证平台的设计方法,并在此基础上讨论常用的验证模块的可重用性,对可重用的验证方法学展开研究(包括验证模块的重用和验证平台的重用)