硬件验证技术已经成为硬件电路设计中的瓶颈,验证在整个产品开发流程中占据的人力资源与时间资源愈加庞大,但验证的效率和可重用性却非常低。因此在产品上市之前,提供高效率可重用的验证平台对产品进行充分的验证是必要的。本文以多功能车辆总线控制器MVBC的验证项目为引导,研究基于验证方法学VMM的硬件验证技术,具有理论和实际的重要意义。本文深入研究了三种基于仿真的验证技术(基于事务的验证技术、覆盖率驱动的验证技术以及基于断言的验证技术),分析其技术特点,总结其优缺点;然后在验证方法学的指导下,将三种技术融合在层次化的验证平台中;其次研究了基于有限状态自动机(FSM)模型化理论,对硬件电路进行FSM建模,从中提取待验证的功能点然后转化为事务级模型,并且基于硬件描述与验证语言SystemVerilog实现该验证平台。最后在验证平台上完成对MVBC中曼彻斯特编解码模块的验证,并在仿真软件VCS上运行,对验证结果的分析表明,该验证平台能够保证较快的验证速度,提高验证的效率,并且保持了层次化验证平台模块化可复用的优点,同时应用FSM模型化理论使得提取的功能覆盖点更为完整。