专利快速检索-快速检索全球专利，免费商用专利数据库-IPRDB

1. 发明申请

US20070061121A1 Method, system and program product for selectively removing instrumentation logic from a simulation model 失效
标题翻译：用于从仿真模型中选择性地移除仪表逻辑的方法，系统和程序产品
公开(公告)号：US20070061121A1
公开(公告)日：2007-03-15
申请号：US11226969
申请日：2005-09-15
申请人： Gabor Bobok , Wolfgang Roesner , Matyas Sustik , Derek Williams
发明人： Gabor Bobok , Wolfgang Roesner , Matyas Sustik , Derek Williams
IPC分类号： G06F17/50
CPC分类号： G06F17/5022
摘要： According to a method of simulation processing, a simulation model is received that includes a plurality of design entity instances modeling a digital system and one or more instrumentation entity instances, separate from the plurality of design entity instances, that generate instances of instrumentation events for testing purposes during simulation. In response to receiving an exclusion list identifying at least one instance of one or more instrumentation events to be removed from the simulation model, at least one instance of the one or more instrumentation events and associated logic elements are removed from the one or more instrumentation entity instances of the simulation model prior to simulation, such that a more compact simulation model is obtained.
摘要翻译：根据模拟处理的方法，接收模拟模型，其包括建立数字系统的多个设计实体实例和与多个设计实体实例分开的一个或多个仪表实体实例，其生成用于测试的仪表事件的实例模拟过程中的目的。响应于接收到排除列表，其识别要从仿真模型中移除的一个或多个仪器事件的至少一个实例，所述一个或多个检测事件和相关逻辑元件的至少一个实例从所述一个或多个检测实体中移除在模拟之前的仿真模型的实例，使得获得更紧凑的模拟模型。

2. 发明申请

US20070260443A1 METHOD, SYSTEM AND PROGRAM PRODUCT SUPPORTING SPECIFICATION OF SIGNALS FOR SIMULATION RESULT VIEWING 失效
标题翻译：方法，系统和程序产品支持模拟结果查看信号的规范
公开(公告)号：US20070260443A1
公开(公告)日：2007-11-08
申请号：US11381437
申请日：2006-05-03
申请人： Gabor Bobok , Wolfgang Roesner , Derek Williams
发明人： Gabor Bobok , Wolfgang Roesner , Derek Williams
IPC分类号： G06F17/50
CPC分类号： G06F17/5022
摘要： According to a method of data processing, a data set including at least one entry specifying a signal group by a predetermined signal group name is received by a data processing system. In response to receipt of the data set, the entry in the data set is processed to identify the signal group name. Signal group information associated with an event trace file containing simulation results is accessed to determine signal names of multiple signals that are members of the signal group. Simulation results from the event trace file that are associated with instances of said multiple signals are then included within a presentation of simulation results.
摘要翻译：根据数据处理的方法，由数据处理系统接收包括由预定信号组名称指定信号组的至少一个条目的数据集。响应于数据集的接收，处理数据集中的条目以识别信号组名称。与包含模拟结果的事件跟踪文件相关联的信号组信息被访问以确定作为信号组成员的多个信号的信号名称。然后将与所述多个信号的实例相关联的事件跟踪文件的仿真结果包括在仿真结果的呈现中。

3. 发明申请

US20070260441A1 METHOD, SYSTEM AND PROGRAM PRODUCT SUPPORTING PHASE EVENTS IN A SIMULATION MODEL OF A DIGITAL SYSTEM 失效
标题翻译：方法，系统和程序产品在数字系统的模拟模型中支持相关事件
公开(公告)号：US20070260441A1
公开(公告)日：2007-11-08
申请号：US11382088
申请日：2006-05-08
申请人： Gabor Bobok , Wolfgang Roesner , Derek Williams
发明人： Gabor Bobok , Wolfgang Roesner , Derek Williams
IPC分类号： G06F17/50
CPC分类号： G06F17/5022
摘要： According to a method of simulation processing, an instrumented simulation executable model of a design is built by compiling one or more hardware description language (HDL) files specifying one or more design entities within the design and one or more instrumentation entities and instantiating instances of the one or more instrumentation entities within instances of the one or more design entities. Operation of the design is then simulated utilizing the instrumented simulation executable model. Simulating operation includes each of multiple instantiations of the one or more instrumentation entities generating a respective external phase signal representing an occurrence of a particular phase of operation and instrumentation combining logic generating from external phase signals of the multiple instantiations of the one or more instrumentation entities an aggregate phase signal representing an occurrence of the particular phase.
摘要翻译：根据模拟处理的方法，通过编译指定设计中的一个或多个设计实体的一个或多个硬件描述语言（HDL）文件和一个或多个设备实体和一个或多个设备实例的实例化来构建设计的仪器化模拟可执行模型在一个或多个设计实体的实例内的一个或多个仪表实体。然后使用仪器化模拟可执行模型对设计的操作进行模拟。模拟操作包括一个或多个仪器实体的多个实例中的每个实例，其产生表示特定操作阶段的出现的相应的外部相位信号，以及组合从一个或多个仪器实体的多个实例的外部相位信号产生的逻辑聚合相位信号表示特定相位的出现。

4. 发明申请

US20080077377A1 METHOD, SYSTEM AND PROGRAM PRODUCT SUPPORTING PRESENTATION OF A SIMULATED OR HARDWARE SYSTEM INCLUDING CONFIGURATION ENTITIES 有权
公开(公告)号：US20080077377A1
公开(公告)日：2008-03-27
申请号：US11948461
申请日：2007-11-30
申请人： Wolfgang Roesner , Derek Williams
发明人： Wolfgang Roesner , Derek Williams
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.

5. 发明申请

US20070180423A1 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
申请人： Bryan Hunt , Wolfgang Roesner , Robert Shadowen , Derek Williams
发明人： Bryan Hunt , Wolfgang Roesner , Robert Shadowen , Derek Williams
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实体的至少一个实例的一个或多个输出设置的输出值来设置数字系统中的多个配置锁存器。

6. 发明申请

US20060004556A1 Method, system and program product for providing a configuration specification language supporting incompletely specified configuration entities 有权
标题翻译：方法，系统和程序产品，用于提供支持不完整指定配置实体的配置规范语言
公开(公告)号：US20060004556A1
公开(公告)日：2006-01-05
申请号：US10880853
申请日：2004-06-30
申请人： Bradley Nelson , Wolfgang Roesner , Derek Williams
发明人： Bradley Nelson , Wolfgang Roesner , Derek Williams
IPC分类号： G06F17/50
CPC分类号： G06F17/5022 , Y10S707/99931 , Y10S707/99943 , Y10S707/99945
摘要： 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实体具有拨号输入，多个拨号输出耦合到多个下级拨号的输入，以及映射表，其指示拨号输入的多个可能输入值中的每一个与相应的一个多个拨号输出的多组输出值。映射表中的至少一组输出值指定少于所有多个拨号输出的输出值。每个指定的输出值反映至少一个较低级别拨号的设置，并且下级拨号的设置反映多个不同的可能配置值中的哪一个被加载到多个配置锁存器中。

7. 发明申请

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

8. 发明申请

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

9. 发明申请

US20060026548A1 Method, system and program product for providing a configuration specification language supporting selective presentation of configuration entities 有权
标题翻译：用于提供支持配置实体的选择性呈现的配置规范语言的方法，系统和程序产品
公开(公告)号：US20060026548A1
公开(公告)日：2006-02-02
申请号：US10902595
申请日：2004-07-29
申请人： Wolfgang Roesner , Derek Williams
发明人： Wolfgang Roesner , Derek Williams
IPC分类号： G06F17/50
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 in one or more files, a configuration entity is associated with the latch. The configuration entity has a plurality of different settings and each setting reflects which of the plurality of different possible values is loaded in the associated latch. A controlling value set for at least one instance of the configuration entity is also defined in one or more files. The controlling value set indicates at least one controlling value for which presentation of a current setting of the configuration entity instance is restricted. 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）文件中，指定包含数字系统的功能部分的至少一个设计实体。设计实体逻辑地包含具有相应多个不同可能锁存值的锁存器。在一个或多个文件中使用一个或多个语句，配置实体与锁存器相关联。配置实体具有多个不同的设置，并且每个设置反映多个不同的可能值中的哪一个加载到相关联的锁存器中。对于配置实体的至少一个实例设置的控制值也被定义在一个或多个文件中。控制值集合指示限制配置实体的当前设置的呈现的至少一个控制值。此后，响应于呈现数字系统的至少部分状态的请求，通过参考指示控制值集合的配置数据库将配置实体实例的当前设置排除在呈现之外。

10. 发明申请

US20060015314A1 Methods, systems and program products for annotating system traces with control program information and presenting annotated system traces 审中-公开
标题翻译：方法，系统和程序产品，用于通过控制程序信息注释系统跟踪并显示注释的系统跟踪
公开(公告)号：US20060015314A1
公开(公告)日：2006-01-19
申请号：US10880730
申请日：2004-06-30
申请人： Wolfgang Roesner , Derek Williams
发明人： Wolfgang Roesner , Derek Williams
IPC分类号： G06F9/45
CPC分类号： G06F11/3664 , G06F11/3636
摘要： The signal state that a signal of interest within a system under test has during each of a plurality of cycles of operation of the system under test is stored in a trace file. In association with the signal state, information regarding a requested access to the signal state by a control program during a particular cycle among the plurality of cycles is also stored. From the trace files a presentation is generated that presents, for at least a signal of interest within the system under test, a plurality of signal state indications, each indicating a respective state that the signal had during a one of a plurality of cycles of operation of the system under test. The presentation also indicates, in a graphically distinctive manner, at least one cycle of operation during which a control program requested access to a state of the signal, so that the influence of the control program on the state of the system under test is visually apparent.
摘要翻译：被测系统中感兴趣的信号在被测系统的多个操作周期中的每一个期间的信号状态被存储在跟踪文件中。与信号状态相关联，还存储关于在多个周期中的特定周期期间由控制程序请求的访问信号状态的信息。从跟踪文件中产生一个演示文稿，对于至少在被测系统内感兴趣的信号，呈现多个信号状态指示，每个信号状态指示各自表示信号在多个操作周期之一中具有的状态的被测系统。演示文稿还以图形上独特的方式指示至少一个操作周期，在该周期期间控制程序请求访问信号的状态，使得控制程序对被测系统的状态的影响在视觉上是明显的。

你已经成功收藏专利！

检索式保存成功!

IPRDB

热门服务

关于我们

友情链接

联系方式