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