公开(公告)号：US20070005323A1

公开(公告)日：2007-01-04

申请号：US11171760

申请日：2005-06-30

申请人： Aaron Patzer ,  Joseph Perrie ,  Steven Roberts ,  Todd Swanson

发明人： Aaron Patzer ,  Joseph Perrie ,  Steven Roberts ,  Todd Swanson

IPC分类号： G06F17/50

CPC分类号： G01R31/319 ,  G01R31/318357 ,  G01R31/318364 ,  G01R31/31901 ,  G06F17/5022

摘要： Hardware logic for generating breakpoint signals based on state changes in observed (“tagged”) hardware resource of a design under test is automatically generated and added to the simulation model of the design under test. These breakpoints halt simulation when a user programmable event, such as an assertion, test-case failure, or trigger occurs. Allowing the end-user to define the register values used in comparison to or timing of tagged resources, results in breakpoints that can be created, changed, enabled, or disabled without rebuilding the simulation model. Because the breakpoint logic is in-circuit, it takes full advantage of the acceleration made possible by hardware simulators, while providing an interactive environment for both functional hardware verification and software development on the simulated hardware mode.

摘要翻译： 根据被测设计的被观察（“标记”）硬件资源的状态变化产生断点信号的硬件逻辑被自动生成并添加到被测设计的仿真模型中。 当用户可编程事件（如断言，测试用例故障或触发器）发生时，这些断点将停止仿真。 允许最终用户定义与标记资源相比较或定时使用的寄存器值，导致可以创建，更改，启用或禁用的断点，而无需重建仿真模型。 由于断点逻辑是电路中的，它充分利用硬件仿真器可能实现的加速，同时为模拟硬件模式下的功能硬件验证和软件开发提供了一个交互式环境。

公开(公告)号：US20070005322A1

公开(公告)日：2007-01-04

申请号：US11171725

申请日：2005-06-30

申请人： Aaron Patzer ,  Joseph Perrie ,  Steven Roberts ,  Todd Swanson

发明人： Aaron Patzer ,  Joseph Perrie ,  Steven Roberts ,  Todd Swanson

IPC分类号： G06F17/50

CPC分类号： G06F17/5022 ,  G01R31/318357 ,  G01R31/318364 ,  G01R31/319 ,  G01R31/31901

摘要： Hardware logic for generating breakpoint signals (basic events) based on state changes in observed (“tagged”) hardware resource of a design under test is automatically generated and added to the simulation model of the design under test. A switch/network is included in the model for mapping basic events to complex breakpoint logic. Complex breakpoints combine basic events to form more complex breakpoints that can be selectively enabled/disabled by the simulation user. In one embodiment, user settable values are compared with complex breakpoint values to further define a complex breakpoint.

摘要翻译： 基于被测设计的被观察（“标记”）硬件资源的状态变化产生断点信号（基本事件）的硬件逻辑被自动生成并添加到被测设计的仿真模型中。 模型中包含一个开关/网络，用于将基本事件映射到复杂的断点逻辑。 复杂的断点将基本事件组合以形成更复杂的断点，可以由模拟用户选择性地启用/禁用。 在一个实施例中，将用户可设置值与复杂断点值进行比较以进一步限定复杂断点。