在一些流程中，必须可综合所有的或部分的测试以便在硬件仿真器上运行。 软件架构是当代验证技术的核心和方法。验证是一个软件问题。高级验证方法的使用是将软件架构 技术应用到硬件验证问题中。软件架构本身是一个非常热点的主题，也有很多文献来描写它。我们 没有必要深入了解诸如面向对象的编程，库的组织，代码分解，测试策略等问题。但是，在应用过 程中我们会接触到这些概念，告诉你如何应用软件技术去构建测试平台。我们依赖这些例子来说明 讨论的原理。-avm cook book

AVM（高级验证方法学）验证手册，是用SystemVerilog和SystemC两种语言实现的。(AVM (Advanced Verification Methodology) verification manual is implemented in system Verilog and system C.)