在规模庞大和功能复杂的集成电路开发中，功能验证已成为流程的瓶颈，完成功能验证将需要大量的人员和时间。开发抽象层次高、自动化、可复用的验证平台是提高验证效率的主要途径之一。 本文详细讨论了数字专用集成电路中的仿真功能验证方法，并初步设计了事务级的功能验证平台。通过引入事务和参考模型等验证方法，提升了验证平台的抽象层次和自动化程度。同时，在设计中考虑平台的结构化和组件化，从而降低了开发难度，且易于维护，在以后的应用中还可以实现复用和不断加以扩展。 提出测试向量的一种实现方式，即编写独立于平台测试代码的文本形式的向量。向量名通过命令的参数形式传入平台，由平台解析后，控制激励的生成和测试执行，使验证简便，容易操作。 在以太网交换专用集成电路开发项目中，芯片功能复杂，验证难度大。利用所设计的事务级自检查的功能验证平台，并面向该芯片进行具体实现，形成验证环境中的核心验证工具，保证验证工作的顺利执行。验证平台以硬件验证语言Vera作为主要的开发语言，Vera语言具有丰富的硬件特性和高级编程语言特点，适合于开发验证平台。 将实现的验证平台、编写好的测试向量和开发的验证脚本命令整合得到的集成验证环境，在以太网交换机芯片项目中进行了功能验证的实践。该平台在解决验证的复杂性难题，以及发现设计问题、提高验证效率和质量等方面，都非常有效。设计的验证平台同时支持随机验证，以便充分开展功能验证。 本文整合了目前流行的多种功能验证方法和思想，开发一个实用的完整的验证平台，在解决功能验证的挑战方面作了努力，并取得了明显的效果。