本书是第一本记录和教授有关被称为硬件/软件联合验证的验证技术的重要信息的书。传统的嵌入式系统设计已经发展成为单片机设计，正在突破1M逻辑门，向10M门迈进。在SoC设计的时代，芯片现在包括微处理器，在硬件制造之前需要开发软件。为了有效和及时地开发高质量的产品，工程师必须掌握必要的信息，以便对要部署的工具和方法做出明智的决定。SoC验证需要微处理器和计算机体系结构、逻辑设计和仿真、C语言和汇编语言嵌入式软件等学科的专业知识。每个领域都有单独的书籍，但是直到现在，相关的信息以及它们是如何组合在一起的，还没有在一卷书中得到。这本书提供了独特的、深入的信息，关于协同验证如何真正工作，如何成功地使用它，以及要避免的陷阱。这本书还