当今ASIC设计因其后端工艺的不断进步(从0.35微米到0.10微米甚至0.08微米技术)而规模越来越大,在今后的近十年里,电子产业仍将遵循摩尔定律的速度增长。但是随着ASIC设计规模的增大,其相应前端验证的难度、复杂度将以几何级数的速度增加。当今ASIC前端验证已经成为整个ASIC设计流程中耗时长、难度大却又十分关键的阶段。ASIC前端验证已经建立了一套完备的理论,但是因为商业利益等各方面的原因,其实现上尚有诸多不足。近年来Candence公司推出了专门用于验证的C++工具库:Testbuilder。Testbuilder将软件设计中的面向对象设计思想与ASIC前端验证中基于事务的验证思想完美结合,加之其全开放、免费的验证环境,使之成为了当今业界最流行的验证方式之一。本论文将在介绍前端验证基本理论的基础上,着重介绍如何利用testbuilder在搭建验证环境方面的诸多优势,结合PMON项目原有的验证方案,提出了一种新的验证方案,并以实际的验证举例进行具体说明。第一章为绪论,主要介绍ASIC开发流程以及前端验证的基本理论,并重点介绍了基于事务验证的基本概念及其流程,从而引出基于事务验证的解决方案testbuilder。第二章介绍如何结合testbuilder的优点,将现有的验证方案进行进一步的改进,使之可以解决很多瓶颈问题,并论证了这一改进方案的正确性与可行性。第三章将利用第二章提出的新的验证方案,阐述其在具体设计中的应用,其中的三个设计举例都是以前PMON项目的测试难点,也是经典的验证难点问题:仲裁模型、排队模型、多对多模型等。第四章对第三章的实验结果进行了数据统计,并据此进行了结果分析,说明了新的验证方案与传统验证方案相比的优缺点。第五章将对前四章的内容进行总结,阐述搭建验证环境应该注意的一些基本却十分重要的原则,以及该验证方案的一些展望。