[发明专利]将设计行为和外部激励并入仿真模型反馈中的系统和方法

说明书

技术领域

本发明涉及一种使用共享存储器将设计行为和外部激励(stimulus)并入微处理器仿真(emulation)模型反馈中的系统和方法。更特别地，本发明涉及一种用于在仿真期间为在设备模型上执行的应用提供附加试探(heuristics)的系统和方法，其导致更详细和实际的设备仿真。

背景技术

当前的处理器是包含数百万晶体管的复杂集成电路系统。测试这些设备的两种典型方法是：1)使用通用计算机来模拟(simulate)所述设备，以及2)使用仿真器来测试所述设备的设计逻辑，其中，所述仿真器是专用机器。

使用通用计算机进行模拟时发现的挑战是，该模拟由于设备的复杂性而花费极大量时间。因此，由于进度限制，所述设备的许多方面在制造之前不被测试。

使用仿真器来测试设备的设计逻辑时发现的挑战是，该仿真器不能够很详细地测试设备的物理运转。例如，仿真系统具有长运转周期，在该运转周期中，所述仿真系统不能够轮询(poll)来自被测设备的数据。于是，复杂的缓冲方案被实现，从而仿真运行时软件在被测设备未进行循环时的间隔期间实施检查。

因此，需要的是一种在制造之前以高效和有效的方式测试设备的复杂设计逻辑的系统和方法。

发明内容

已发现，前述挑战使用这样的系统和方法来解决，所述系统和方法用于使用附接存储器模型来在仿真期间为在设备模型上执行的应用提供附加试探，其导致更详细和实际的设备仿真。所述附接存储器模型为运行时软件环境提供存储区域来存储仿真数据，所述仿真数据随后在仿真期间被提供给设备模型。所述仿真数据可以包括：1)对设备模型的随机化激励，2)用于检查试探的附加运行时数据，以及3)仿真数据点(在仿真期间以其它方式不能访问数据模型)。

为开始仿真过程，仿真系统加载和初始化所述附接存储器模型和设备模型。运行时软件环境然后将训练应用加载到附接存储器模型中，其中，所述训练应用在仿真期间在设备模型中执行。

运行时软件环境开始为附接存储器模型和设备模型计时，以便训练应用执行若干指令。在特定数量的时钟周期之后，运行时软件环境停止计时并且从设备模型读取仿真数据，其中，所述仿真数据是通过训练应用的指令执行的结果。所述仿真数据可以包括关于设备模型中的锁存器和模型化信号的细节信息。

一旦运行时软件环境读取仿真数据，该运行时软件环境就将所述仿真数据存储在附接存储器模型中，并且开始为附接存储器模型和设备模型重新计时。该重新计时允许训练应用处理存储在附接存储器模型中的仿真数据。

在一个实施例中，运行时软件环境将种子数据加载到附接存储器模型中，其中，训练应用使用所述种子数据来催化(seed)随机发生器。该实施例为设备模型提供附加随机化激励，其允许相比于使用算术确定状态机时更高程度的仿真。

在另一实施例中，运行时软件环境可以将外部激励数据存储在附接存储器模型中，其中，所述外部激励数据随后被训练应用处理。该实施例可以用于例如灯塔检查(lighthouse checking)的目的，其中，所述灯塔检查是程序执行中探索多条通路的点。当程序到达灯塔位置时，这里描述的发明提供外部激励，其模拟例如击键和/或鼠标点击的输入流。

前述是摘要，并且由此必然包含对于细节的简化、一般化和省略；因此，本领域的技术人员将理解，所述摘要只是说明性的，并且决不旨在是限制性的。完全由权利要求定义的本发明的其它方面、发明特征和优点在下面阐明的非限制性详细描述中将变得显而易见。

附图说明

通过参考附图，本发明可以被更好地理解，并且使得其许多目的、特征和优点对于本领域的技术人员是显而易见的。

图1是示出了使用附接存储器模型向设备模型提供仿真数据的仿真系统的图；

图2是示出了在设备仿真期间从附接存储器模型向设备模型提供仿真反馈数据的仿真系统的图；

图3是示出了在设备仿真期间从附接存储器模型向设备模型提供种子数据的仿真系统的图；

图4是示出了在处理器仿真期间从附接存储器模型向处理器模型提供外部激励数据的仿真系统的图；

图5是示出了在仿真期间使用附接存储器模型存储并向设备模型提供仿真反馈数据时所采取的步骤的流程图；

图6是示出了在仿真期间使用附接存储器模型存储并向处理器模型提供种子数据时所采取的步骤的流程图；

图7是示出了在仿真期间使用附接存储器模型向处理器模型提供外部激励数据时所采取的步骤的流程图；

图8是示出了仿真多处理器设备的仿真系统的图；以及

图9是能够实现本发明的另一计算设备的框图。

具体实施方式