METHOD, SYSTEM AND PROGRAM PRODUCT SUPPORTING PRESENTATION OF A SIMULATED OR HARDWARE SYSTEM INCLUDING CONFIGURATION ENTITIES
    1.
    发明申请
    METHOD, SYSTEM AND PROGRAM PRODUCT SUPPORTING PRESENTATION OF A SIMULATED OR HARDWARE SYSTEM INCLUDING CONFIGURATION ENTITIES 有权
    方法,系统和程序产品支持模拟或硬件系统的介绍,包括配置实体

    公开(公告)号:US20080021691A1

    公开(公告)日:2008-01-24

    申请号:US11829447

    申请日:2007-07-27

    IPC分类号: G06F17/50

    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 providing a configuration specification language supporting arbitrary mapping functions for configuration constructs
    2.
    发明申请
    Method, system and program product providing a configuration specification language supporting arbitrary mapping functions for configuration constructs 有权
    提供配置规范语言的方法,系统和程序产品,支持用于配置结构的任意映射功能

    公开(公告)号:US20070174806A1

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

    申请号:US11408835

    申请日:2006-04-21

    IPC分类号: G06F17/50

    CPC分类号: G06F17/505 G06F17/5022

    摘要: A method is disclosed of associating a mapping function with a configuration construct of a digital design defined by one or more hardware description language (HDL) files. According to the method, in the HDL files, a configuration latch is specified within a design entity forming at least a portion of the digital design. In addition, a Dial is specified that defines a relationship between each of a plurality of input values and a respective one of a plurality of different output values. The HDL files also include a statement that instantiates an instance of the Dial in association with the configuration latch such that a one-to-one correspondence exists between a value contained within the configuration latch and an input value of the instance of the Dial. The HDL files further include a statement associating the Dial with a mapping function that applies a selected transformation to values read from or written to the instance of the Dial.

    摘要翻译: 公开了一种将映射函数与由一个或多个硬件描述语言(HDL)文件定义的数字设计的配置结构相关联的方法。 根据该方法,在HDL文件中,在形成数字设计的至少一部分的设计实体内指定配置锁存器。 此外,指定了一个Dial,其定义了多个输入值中的每一个与多个不同输出值中的相应的一个之间的关系。 HDL文件还包括一个语句,用于与配置锁存器相关联地实例化Dial的实例,使得在配置锁存器中包含的值与Dial的实例的输入值之间存在一一对应的对应关系。 HDL文件还包括将Dial与将映射功能相关联的语句,该映射函数将选择的变换应用于从Dial的实例读取或写入的值。

    Method, system and program product for providing a configuration specification language supporting error checking dials
    3.
    发明申请
    Method, system and program product for providing a configuration specification language supporting error checking dials 失效
    方法,系统和程序产品,用于提供支持错误检查拨盘的配置说明语言

    公开(公告)号:US20070083843A1

    公开(公告)日:2007-04-12

    申请号:US11245300

    申请日:2005-10-06

    IPC分类号: G06F17/50

    CPC分类号: G06F17/505

    摘要: A digital system includes one or more design entities containing a functional portion of the digital system. Within a configuration database, one or more configuration entities are instantiated. The configuration entities including an Error checking Dial (EDial) having a plurality of input latches within the digital design and a plurality of output latches within the digital design. The EDial has an associated function defining a relationship between values of the input latches and values of the output latches. An instance of the EDial in the configuration database is accessed to access the values of the output latches in the digital design.

    摘要翻译: 数字系统包括包含数字系统的功能部分的一个或多个设计实体。 在配置数据库中,一个或多个配置实体被实例化。 配置实体包括在数字设计中具有多个输入锁存器的错误检查拨号(EDial)和数字设计中的多个输出锁存器。 EDial具有定义输入锁存器的值和输出锁存器值之间的关系的相关函数。 访问配置数据库中的EDial实例以访问数字设计中输出锁存器的值。

    Method, system and program product for defining and recording minimum and maximum count events of a simulation
    4.
    发明申请
    Method, system and program product for defining and recording minimum and maximum count events of a simulation 审中-公开
    用于定义和记录模拟的最小和最大计数事件的方法,系统和程序产品

    公开(公告)号:US20060089826A1

    公开(公告)日:2006-04-27

    申请号:US10970468

    申请日:2004-10-21

    IPC分类号: G06F17/50

    CPC分类号: G06F17/5022

    摘要: According to a one method of simulation processing, a file is utilized to describing a hardware description language (HDL) simulation model of a design. The file includes one or more statements describing a count event and identifying the count event as an outlying count event. From the file, a count event counter for the outlying count event is created within HDL instrumentation of the simulation model. The design is then simulated utilizing the HDL simulation model, and occurrences of the outlying count event are counted within the count event counter to obtain a count event value. In response to receiving the count event value of the outlying count event, the count event value is recorded within a data storage subsystem based on whether the count event value of the outlying count event exceeds a previously recorded count event value.

    摘要翻译: 根据模拟处理的一种方法,使用文件来描述设计的硬件描述语言(HDL)仿真模型。 该文件包括描述计数事件并将计数事件识别为外部计数事件的一个或多个语句。 从文件中,在仿真模型的HDL仪器中创建了用于外部计数事件的计数事件计数器。 然后利用HDL仿真模型对该设计进行仿真,计数事件计数器内的计数事件计数,计数事件值。 响应于接收到外部计数事件的计数事件值,计数事件值基于离散计数事件的计数事件值是否超过先前记录的计数事件值被记录在数据存储子系统内。

    Method, system and program product providing a configuration specification language supporting arbitrary mapping functions for configuration constructs
    5.
    发明申请
    Method, system and program product providing a configuration specification language supporting arbitrary mapping functions for configuration constructs 失效
    提供配置规范语言的方法,系统和程序产品,支持用于配置结构的任意映射功能

    公开(公告)号:US20050149883A1

    公开(公告)日:2005-07-07

    申请号:US10749759

    申请日:2003-12-31

    IPC分类号: G06F17/50

    CPC分类号: G06F17/505 G06F17/5022

    摘要: A method is disclosed of associating a mapping function with a configuration construct of a digital design defined by one or more hardware description language (HDL) files. According to the method, in the HDL files, a configuration latch is specified within a design entity forming at least a portion of the digital design. In addition, a Dial is specified that defines a relationship between each of a plurality of input values and a respective one of a plurality of different output values. The HDL files also include a statement that instantiates an instance of the Dial in association with the configuration latch such that a one-to-one correspondence exists between a value contained within the configuration latch and an input value of the instance of the Dial. The HDL files further include a statement associating the Dial with a mapping function that applies a selected transformation to values read from or written to the instance of the Dial.

    摘要翻译: 公开了一种将映射函数与由一个或多个硬件描述语言(HDL)文件定义的数字设计的配置结构相关联的方法。 根据该方法,在HDL文件中,在形成数字设计的至少一部分的设计实体内指定配置锁存器。 此外,指定了一个Dial,其定义了多个输入值中的每一个与多个不同输出值中的相应的一个之间的关系。 HDL文件还包括一个语句,用于与配置锁存器相关联地实例化Dial的实例,使得在配置锁存器中包含的值与Dial的实例的输入值之间存在一一对应的对应关系。 HDL文件还包括将Dial与将映射功能相关联的语句,该映射函数将选择的变换应用于从Dial的实例读取或写入的值。

    METHOD, SYSTEM AND PROGRAM PRODUCT SUPPORTING PRESENTATION OF A SIMULATED OR HARDWARE SYSTEM INCLUDING CONFIGURATION ENTITIES

    公开(公告)号:US20080077377A1

    公开(公告)日:2008-03-27

    申请号:US11948461

    申请日:2007-11-30

    IPC分类号: G06F17/50

    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 for specifying a configuration for a digital system utilizing dial biasing weights
    7.
    发明申请
    Method, system and program product for specifying a configuration for a digital system utilizing dial biasing weights 有权
    用于指定利用拨盘偏置权重的数字系统的配置的方法,系统和程序产品

    公开(公告)号:US20070180423A1

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

    申请号:US11345847

    申请日:2006-02-02

    IPC分类号: G06F17/50

    CPC分类号: G06F17/5045

    摘要: In a method of data processing, a database defines a Dial entity and at least one instance of the Dial entity. Each instance of the Dial entity has an input having a plurality of different possible input values and one or more outputs, and each of the plurality of different possible input values has a different associated output value set for the one or more outputs. Each instance of the Dial entity determines a value of at least one of a plurality of configuration latches in a digital system separate from the database. The database also associates with the Dial entity at least one set of biasing weights that, when applied, determines a probability of each instance of the Dial entity having particular ones of the plurality of different possible input values. In response to a call to set the plurality of configuration latches, the database is accessed to apply the at least one set of biasing weights to select one of the plurality of different possible input values for the at least one instance of the Dial entity. The plurality of configuration latches in the digital system are set based upon the output value set for the one or more outputs of the at least one instance of the Dial entity.

    摘要翻译: 在数据处理的方法中,数据库定义了Dial实体和Dial实体的至少一个实例。 Dial实体的每个实例具有具有多个不同可能输入值和一个或多个输出的输入,并且多个不同可能输入值中的每一个具有为一个或多个输出设置的不同的相关输出值。 Dial实体的每个实例确定与数据库分离的数字系统中的多个配置锁存器中的至少一个的值。 所述数据库还将所述至少一组偏置权重与所述拨号实体相关联,所述偏置权重在被应用时确定具有所述多个不同可能输入值中的特定个体的所述拨号实体的每个实例的概率。 响应于设置多个配置锁存器的呼叫,访问数据库以应用至少一组偏置权重以选择Dial实体的至少一个实例的多个不同可能输入值中的一个。 基于为Dial实体的至少一个实例的一个或多个输出设置的输出值来设置数字系统中的多个配置锁存器。

    Method, system and program product for providing a configuration specification language supporting incompletely specified configuration entities
    8.
    发明申请
    Method, system and program product for providing a configuration specification language supporting incompletely specified configuration entities 有权
    方法,系统和程序产品,用于提供支持不完整指定配置实体的配置规范语言

    公开(公告)号:US20060004556A1

    公开(公告)日:2006-01-05

    申请号:US10880853

    申请日:2004-06-30

    IPC分类号: G06F17/50

    摘要: 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 and system for selective compilation of instrumentation entities into a simulation model of a digital design
    9.
    发明申请
    Method and system for selective compilation of instrumentation entities into a simulation model of a digital design 有权
    将仪器实体选择性汇编为数字设计仿真模型的方法和系统

    公开(公告)号:US20050149313A1

    公开(公告)日:2005-07-07

    申请号:US10749607

    申请日:2003-12-31

    IPC分类号: G01R31/3183 G06F9/45

    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.

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

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

    公开(公告)号:US20050049842A1

    公开(公告)日:2005-03-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.

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