Method, system and program product supporting user tracing in a simulator
    21.
    发明授权
    Method, system and program product supporting user tracing in a simulator 失效
    在模拟器中支持用户跟踪的方法,系统和程序产品

    公开(公告)号:US07536288B2

    公开(公告)日:2009-05-19

    申请号:US10750590

    申请日:2003-12-31

    IPC分类号: G06F17/50 G06F9/45 G06F9/455

    CPC分类号: G06F17/5022

    摘要: According to a method of specifying a trace array for simulation of a digital design, one or more entities within a simulation model are specified with one or more statements in one or more hardware description language (HDL) files. In addition, a trace array for storing data generated through simulation of the simulation model is specified in one or more statements in the one or more HDL files. The HDL files may subsequently be processed to create a simulation model containing at least one design entity and a trace array within the design entity for storing trace data regarding specified signals of interest.

    摘要翻译: 根据指定用于数字设计的仿真的跟踪阵列的方法,模拟模型中的一个或多个实体用一个或多个硬件描述语言(HDL)文件中的一个或多个语句来指定。 另外,在一个或多个HDL文件中的一个或多个语句中指定用于存储通过模拟仿真模型生成的数据的跟踪数组。 随后可以处理HDL文件以创建包含设计实体内的至少一个设计实体和跟踪阵列的模拟模型,用于存储关于所关心的指定信号的跟踪数据。

    Program product for providing a configuration specification language supporting incompletely specified configuration entities
    22.
    发明授权
    Program product for providing a configuration specification language supporting incompletely specified configuration entities 失效
    用于提供支持不完整指定配置实体的配置规范语言的程序产品

    公开(公告)号:US07519524B2

    公开(公告)日:2009-04-14

    申请号:US12142000

    申请日:2008-06-19

    IPC分类号: G06F17/50 G06F7/00

    摘要: In a hardware definition language (HDL) file among one or more files, one or more design entities containing a functional portion of a digital system are specified. The one or more design entities logically contain a plurality of latches having a respective plurality of different possible latch values that each corresponds to a different configuration of the functional portion of the digital system. With one or more statements in the one or more files, a multi-level Dial tree is defined that includes a selective control Dial (SCDial) entity at an upper level that is associated with at least one design entity. The SCDial entity has a Dial input, a plurality of Dial outputs coupled to inputs of the plurality of lower level Dials, and a mapping table indicating a mapping between each of a plurality of possible input values of the Dial input and a respective one of a plurality of sets of output values for the plurality of Dial outputs. At least one set of output values in the mapping table specifies output values for fewer than all of the plurality of Dial outputs. Each specified output value reflects a setting of at least one lower level Dial, and settings of the lower level Dials reflect which of the plurality of different possible configuration values is loaded in the plurality of configuration latches.

    摘要翻译: 在一个或多个文件中的硬件定义语言(HDL)文件中,指定包含数字系统的功能部分的一个或多个设计实体。 一个或多个设计实体在逻辑上包含多个具有相应多个不同可能锁存值的锁存器,每个闩锁值对应于数字系统的功能部分的不同配置。 利用一个或多个文件中的一个或多个语句,定义多级拨号树,其包括与至少一个设计实体相关联的上级的选择性控制拨号(SCDial)实体。 SCDial实体具有拨号输入,多个拨号输出耦合到多个下级拨号的输入,以及映射表,其指示拨号输入的多个可能输入值中的每一个与相应的一个 多个拨号输出的多组输出值。 映射表中的至少一组输出值指定少于所有多个拨号输出的输出值。 每个指定的输出值反映至少一个较低级别拨号的设置,并且下级拨号的设置反映多个不同的可能配置值中的哪一个被加载到多个配置锁存器中。

    Method, system and program product supporting presentation of a simulated or hardware system including configuration entities
    23.
    发明授权
    Method, system and program product supporting presentation of a simulated or hardware system including configuration entities 有权
    包括配置实体的模拟或硬件系统的方法,系统和程序产品

    公开(公告)号:US07469400B2

    公开(公告)日:2008-12-23

    申请号:US11948461

    申请日:2007-11-30

    IPC分类号: G06F17/50 G06F17/00 G06G7/62

    CPC分类号: G06F17/5022

    摘要: Within a display device, a respective one of a plurality of design graphical representations is displayed for each of a plurality of hierarchically arranged design entity instances within a simulated system. The design entity instances include a particular design entity instance containing a latch that is represented by a particular design graphical representation. A configuration entity instance associated with the particular design entity is identified within a configuration database associated with the simulated system. The configuration entity instance has a plurality of different settings that each reflects a value of the latch. Within the display device, a configuration graphical representation of the configuration entity instance is presented in association with the particular design graphical representation corresponding to the particular design entity instance. In addition, a current setting of the configuration entity instance is presented concurrently with the configuration graphical representation.

    摘要翻译: 在显示装置内,为模拟系统内的多个分层布置的设计实体实例中的每一个显示多个设计图形表示中的相应一个。 设计实体实例包括包含由特定设计图形表示表示的锁存器的特定设计实体实例。 在与模拟系统相关联的配置数据库中识别与特定设计实体相关联的配置实体实例。 配置实体实例具有多个不同的设置,每个设置反映锁存器的值。 在显示设备内,与对应于特定设计实体实例的特定设计图形表示相关联地呈现配置实体实例的配置图形表示。 此外,配置实体实例的当前设置与配置图形表示同时呈现。

    METHOD, SYSTEM AND PROGRAM PRODUCT SUPPORTING USER TRACING IN A SIMULATOR
    24.
    发明申请
    METHOD, SYSTEM AND PROGRAM PRODUCT SUPPORTING USER TRACING IN A SIMULATOR 审中-公开
    方法,系统和程序产品支持用户跟踪在模拟器

    公开(公告)号:US20080288234A1

    公开(公告)日:2008-11-20

    申请号:US12035984

    申请日:2008-02-22

    IPC分类号: G06F9/45

    摘要: According to a method of specifying a trace array for simulation of a digital design, one or more entities within a simulation model are specified with one or more statements in one or more hardware description language (HDL) files. In addition, a trace array for storing data generated through simulation of the simulation model is specified in one or more statements in the one or more HDL files. The HDL files may subsequently be processed to create a simulation model containing at least one design entity and a trace array within the design entity for storing trace data regarding specified signals of interest.

    摘要翻译: 根据指定用于数字设计的仿真的跟踪阵列的方法,模拟模型中的一个或多个实体用一个或多个硬件描述语言(HDL)文件中的一个或多个语句来指定。 另外,在一个或多个HDL文件中的一个或多个语句中指定用于存储通过模拟仿真模型生成的数据的跟踪数组。 随后可以处理HDL文件以创建包含设计实体内的至少一个设计实体和跟踪阵列的模拟模型,用于存储关于所关心的指定信号的跟踪数据。

    Method, system and program product for defining and recording threshold-qualified count events of a simulation by testcases
    25.
    发明授权
    Method, system and program product for defining and recording threshold-qualified count events of a simulation by testcases 失效
    方法,系统和程序产品,用于通过测试案例定义和记录模拟的阈值限定计数事件

    公开(公告)号:US07454325B2

    公开(公告)日:2008-11-18

    申请号:US11006093

    申请日:2004-12-07

    IPC分类号: G06F17/50 G06F11/00

    CPC分类号: G06F17/5022

    摘要: According to one method of simulation processing, a count event counter for a count event is created within instrumentation of a hardware description language (HDL) simulation model of a design and a threshold greater than 1 is established for the count event counter. The design is then simulated utilizing the HDL simulation model, and occurrences of the count event are accumulated in the count event counter to obtain a count event value. Thereafter, an indication of whether the count event value of the count event exceeds the threshold is recorded within a data storage subsystem.

    摘要翻译: 根据模拟处理的一种方法,在设计的硬件描述语言(HDL)仿真模型的仪表内创建计数事件的计数事件计数器,并且为计数事件计数器建立大于1的阈值。 然后利用HDL仿真模型对该设计进行仿真,并且计数事件的发生被累积在计数事件计数器中以获得计数事件值。 此后,计数事件的计数事件值是否超过阈值的指示被记录在数据存储子系统内。

    Method, system and program product for providing a configuration specification language supporting selective presentation of configuration entities
    26.
    发明授权
    Method, system and program product for providing a configuration specification language supporting selective presentation of configuration entities 有权
    用于提供支持配置实体的选择性呈现的配置规范语言的方法,系统和程序产品

    公开(公告)号:US07389490B2

    公开(公告)日:2008-06-17

    申请号:US10902595

    申请日:2004-07-29

    IPC分类号: G06F17/50 G06F9/44

    CPC分类号: G06F17/5022

    摘要: In at least one hardware definition language (HDL) file, at least one design entity containing a functional portion of a digital system is specified. The design entity logically contains a latch having a respective plurality of different possible latch values. With one or more statements, a configuration entity is associated with the latch. The configuration entity has a plurality of different settings and each setting reflects which value is loaded in the associated latch. A controlling value set, indicating at least one controlling value for which presentation of a current setting of the configuration entity instance is restricted, is also defined in one or more files. Thereafter, in response to a request to present at least a partial state of the digital system, a current setting of the configuration entity instance is excluded from presentation by reference to a configuration database indicating the controlling value set.

    摘要翻译: 在至少一个硬件定义语言(HDL)文件中,指定包含数字系统的功能部分的至少一个设计实体。 设计实体逻辑地包含具有相应多个不同可能锁存值的锁存器。 使用一个或多个语句,配置实体与锁存器相关联。 配置实体具有多个不同的设置,并且每个设置反映在相关联的锁存器中加载哪个值。 控制值集合指示至少一个控制值,用于显示配置实体的当前设置的呈现被限制在一个或多个文件中。 此后,响应于呈现数字系统的至少部分状态的请求,通过参考指示控制值集合的配置数据库将配置实体实例的当前设置排除在呈现之外。

    Method, system and program product that automatically generate coverage instrumentation for configuration constructs within a digital system
    27.
    发明授权
    Method, system and program product that automatically generate coverage instrumentation for configuration constructs within a digital system 失效
    方法,系统和程序产品,自动生成数字系统中配置结构的覆盖仪器

    公开(公告)号:US07239993B2

    公开(公告)日:2007-07-03

    申请号:US10651156

    申请日:2003-08-28

    IPC分类号: G06F17/50

    CPC分类号: G06F17/5022

    摘要: A method, data processing system, and program product for building an instrumented simulation model of a digital design are disclosed. According to the method, a model build tool locates, within design data collectively defining a simulation model of the digital design, a definition of a configuration construct specifying a relationship between values of one or more configuration latches within the digital design and settings of the configuration construct. In response to locating the definition of the configuration construct, the model build tool automatically creates an instrumentation entity within the design data. The instrumentation entity has one or more inputs logically coupled to the one or more configuration latches and one or more outputs for providing signals indicating characteristics of the configuration construct during simulation.

    摘要翻译: 公开了一种用于构建数字设计仪表化仿真模型的方法,数据处理系统和程序产品。 根据该方法,模型构建工具在设计数据中共同定义数字设计的仿真模型,定义了指定数字设计中的一个或多个配置锁存器的值与配置设置之间的关系的配置结构 构造。 响应定位配置结构的定义,模型构建工具会自动在设计数据中创建一个检测实体。 仪器实体具有逻辑上耦合到一个或多个配置锁存器和一个或多个输出的一个或多个输入,用于在模拟期间提供指示配置结构特征的信号。

    Method and system for selective compilation of instrumentation entities into a simulation model of a digital design
    28.
    发明授权
    Method and system for selective compilation of instrumentation entities into a simulation model of a digital design 有权
    将仪器实体选择性汇编为数字设计仿真模型的方法和系统

    公开(公告)号:US07236918B2

    公开(公告)日:2007-06-26

    申请号:US10749607

    申请日:2003-12-31

    IPC分类号: G06F17/50

    CPC分类号: G01R31/318364

    摘要: In a method of compiling a simulation model of a digital design, a compiler receives an indication of a desired set of instrumentation entities to be included within a simulation model of a digital design described by a plurality of hierarchically arranged design entities. The instrumentation entities monitor logical operation of one or more of the plurality of design entities during simulation for occurrence of events of interest. In response to the indication, the compiler determines by reference to a bill-of-materials of a previously compiled file whether or not the previously compiled file was compiled with instrumentation entities compatible with the desired set of instrumentation entities. In response to determining that the previously compiled file was compiled with compatible instrumentation entities, the compiler compiles the simulation model of the digital design utilizing the previously compiled file in accordance with the indication.

    摘要翻译: 在编译数字设计的仿真模型的方法中,编译器接收要包括在由多个分层布置的设计实体描述的数字设计的仿真模型内的期望的一组仪器实体的指示。 仪器实体在仿真期间监视多个设计实体中的一个或多个设计实体的逻辑运算,用于感兴趣事件的发生。 响应于该指示,编译器通过参考先前编译的文件的材料清单来确定先前编译的文件是否是与所需的一组仪器实体兼容的仪器实体编译的。 响应于确定先前编译的文件是使用兼容的仪器实体编译的,编译器将根据指示使用先前编译的文件编译数字设计的仿真模型。

    Dynamic loading of C-API HDL model instrumentation
    29.
    发明授权
    Dynamic loading of C-API HDL model instrumentation 失效
    动态加载C-API HDL模型仪器

    公开(公告)号:US07158924B2

    公开(公告)日:2007-01-02

    申请号:US10116521

    申请日:2002-04-04

    IPC分类号: G06F17/50 G06F9/44 G06F11/00

    CPC分类号: G06F17/5022

    摘要: A method and system for tracking instances of a testcase execution event within a hardware description language (HDL) model using a simulation control program. In accordance with the method of the present invention, a design entity list is generated within the HDL model, wherein the design entity list identifies all design entities instantiated within the HDL model. One or more instrumentation code modules are dynamically loaded into the simulation control program, wherein the instrumentation code modules generate and process testcase execution events associated with at least one of the identified design entities.

    摘要翻译: 一种使用仿真控制程序在硬件描述语言(HDL)模型中跟踪测试用例执行事件的实例的方法和系统。 根据本发明的方法,在HDL模型内生成设计实体列表,其中设计实体列表标识在HDL模型内实例化的所有设计实体。 一个或多个仪器代码模块被动态地加载到仿真控制程序中,其中,仪表代码模块生成和处理与所识别的设计实体中的至少一个相关联的测试执行事件。