集成电路制造工艺的迅速发展将集成电路设计带入片上系统SOC(Systme On a Chip)时代,验证工作成为制约产品开发周期的瓶颈。提升验证的抽象层次是提高验证效率最重要的方法。基于总线功能模型(Bus Functional Model, BFM)的验证是一种典型的事务级验证方法,合理地定义和使用BFM能够提高集成电路的验证效率,缩短产品周期。在BFM的设计过程中,应当根据总线协议的具体内容,合理定义BFM的工作模式和要实现的操作,从而在验证过程中有效地应用BFM,提高测试效率。本文首先简要概括了验证方法学的含义及其历史发展,然后针对USB2.0(Universal Serial Bus 2.0)协议的特点,在实际工作中使用Verilog完成了USB主机BFM的设计。随后,采用USB主机BFM和Synopsys公司的AHB(Advanced High performance Bus)总线VIP(Verificaiton IP)验证资源搭建针对一款USB2.0设备控制器的验证平台,根据对USB2.0设备控制器模块功能的分析,全面的提取验证点,完成对USB2.0设备控制器的功能验证。验证结果表明,采用基于BFM的验证方法能够在较高层次上快速完成对USB2.0设备控制器的验证,较好地满足芯片验证需要,为后续的FPGA(Field Programmable Gate Array)验证和量产芯片提供重要支持和质量保证。