当今Integrated Circult(IC集成电路)设计已进入System On Chip(SOC片上系统)时代,同一块芯片上可能集成越来越复杂的系统。SOC电路设计广泛涉及到各种Intellectual Property(IP知识产权)的利用、集成嵌入式CPU、数模混合电路等等,使得现在的大规模集成电路设计也越来越复杂。验证(Verification)逐渐成为IC芯片设计领域中最困难和最具挑战性的课题之一。因此,需要我们在功能验证中引入新的验证方法学和新的验证技术。基于事务级的验证方法学(Transaction Based Verification)是目前IC业界研究的新热点。这种验证方法有别于传统Resistor Transistor Level(RTL)级的验证方式,通过在验证过程中引入事务的概念,抽象层次更高,验证的目的更有针对性,验证平台的重用性大大提高,验证也更有效率。本论文在详细研究事务级验证方法的基础上,提出了一种新的验证平台的构架,并且开发出一套由Verilog语言封装的VLX++库配合其使用。VLX++库吸取了后续推出的System Verilog语言中面对对象思想的一些优势特点,突破传统验证方法的局限性,提出用verilog实现的封装建模,实现三种应用更为广泛的随机向量生成方法,以及一些适应更高的抽象层次的典型模块和调用机制。不仅能够配合新的事务级验证平台的使用,而且能够更好的和整个系统整合起来。最后,结合实际项目需要,运用VLX++库搭建了激光控制器整个项目的验证平台。对基于事务级验证平台下VLX++库的应用作了有益的尝试,仿真数据统计的结果证明,该验证平台对激光控制器系统进行了完备的测试,充分保证了设计的可靠性。