在一些流程中，必须可综合所有的或部分的测试以便在硬件仿真器上运行。

软件架构是当代验证技术的核心和方法。验证是一个软件问题。高级验证方法的使用是将软件架构

技术应用到硬件验证问题中。软件架构本身是一个非常热点的主题，也有很多文献来描写它。我们

没有必要深入了解诸如面向对象的编程，库的组织，代码分解，测试策略等问题。但是，在应用过

程中我们会接触到这些概念，告诉你如何应用软件技术去构建测试平台。我们依赖这些例子来说明

讨论的原理。-avm cook book