验证复杂的SoC设计要耗费极大的成本和时间。据证实，验证一个设计所需的时间会随着设计大小的增加而成倍增加。在过去的几年中，出现了很多的技术和工具，使验证工程师可以用它们来处理这类问题。但是，这些技术中很多基于动态仿真，并依靠电路操作来发现设计问题，因此设计者仍面临为设计创建激励的问题。       设计者可以使用运行在处理器上的固件作为验证仿真激励的一部分，这也是目前通常采用的方法----使用全功能处理器模型。与在HDL中编写激励相比，固件作为激励速度更快，并且更容易创建。在一个全功能处理器模型