会员体验
专利管家(专利管理)
工作空间(专利管理)
风险监控(情报监控)
数据分析(专利分析)
侵权分析(诉讼无效)
联系我们
交流群
官方交流:
QQ群: 891211   
微信请扫码    >>>
现在联系顾问~
热词
    • 61. 发明申请
    • 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 RoesnerDerek Williams
    • Wolfgang RoesnerDerek Williams
    • G06F17/50
    • 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)文件中,指定包含数字系统的功能部分的至少一个设计实体。 设计实体逻辑地包含具有相应多个不同可能锁存值的锁存器。 在一个或多个文件中使用一个或多个语句,配置实体与锁存器相关联。 配置实体具有多个不同的设置,并且每个设置反映多个不同的可能值中的哪一个加载到相关联的锁存器中。 对于配置实体的至少一个实例设置的控制值也被定义在一个或多个文件中。 控制值集合指示限制配置实体的当前设置的呈现的至少一个控制值。 此后,响应于呈现数字系统的至少部分状态的请求,通过参考指示控制值集合的配置数据库将配置实体实例的当前设置排除在呈现之外。
    • 63. 发明授权
    • Method, system and program product for specifying a dial group for a digital system described by a hardware description language (HDL) model
    • 用于指定由硬件描述语言(HDL)模型描述的数字系统的拨号组的方法,系统和程序产品
    • US06993729B2
    • 2006-01-31
    • US10425070
    • 2003-04-28
    • Bradley NelsonWolfgang RoesnerHugh ShenDerek Edward Williams
    • Bradley NelsonWolfgang RoesnerHugh ShenDerek Edward Williams
    • G06F17/50
    • G06F17/5022G06F17/5045
    • A statement in at least one hardware definition language (HDL) file specifies a plurality of design entities representing a functional portion of a digital system. The plurality of design entities have an associated plurality of configuration latches each having a plurality of different possible latch values, where different sets of latch values for the plurality of configuration latches correspond to different configurations of the functional portion of the digital system. With a statement in the at least one HDL file, a Dial group entity is associated with one of the plurality of design entities. The Dial group entity has a Dial list listing a plurality of Dial entities whose settings collectively control which set of latch values is loaded into the plurality of configuration latches. Membership in the Dial group constrains all instances of the plurality of Dial entities belonging to a particular instance of the Dial group to be set as a group.
    • 至少一种硬件定义语言(HDL)文件中的语句指定表示数字系统的功能部分的多个设计实体。 多个设计实体具有相关联的多个配置锁存器,每个配置锁存器具有多个不同的可能的锁存值,其中用于多个配置锁存器的不同的锁存值集合对应于数字系统的功能部分的不同配置。 通过至少一个HDL文件中的语句,Dial组实体与多个设计实体之一相关联。 拨号组实体具有列出多个拨号实体的拨号列表,其多个拨号实体的设置共同控制哪个锁存值集合被加载到多个配置锁存器中。 Dial组中的成员资格限制属于Dial组的特定实例的多个Dial实体的所有实例被设置为一组。
    • 64. 发明申请
    • 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 RoesnerDerek Williams
    • Wolfgang RoesnerDerek Williams
    • G06F9/45
    • G06F11/3664G06F11/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.
    • 被测系统中感兴趣的信号在被测系统的多个操作周期中的每一个期间的信号状态被存储在跟踪文件中。 与信号状态相关联,还存储关于在多个周期中的特定周期期间由控制程序请求的访问信号状态的信息。 从跟踪文件中产生一个演示文稿,对于至少在被测系统内感兴趣的信号,呈现多个信号状态指示,每个信号状态指示各自表示信号在多个操作周期之一中具有的状态 的被测系统。 演示文稿还以图形上独特的方式指示至少一个操作周期,在该周期期间控制程序请求访问信号的状态,使得控制程序对被测系统的状态的影响在视觉上是明显的 。
    • 66. 发明申请
    • Method, system and program product providing a configuration specification language having split latch support
    • 提供具有分离锁存器支持的配置规范语言的方法,系统和程序产品
    • US20050149893A1
    • 2005-07-07
    • US10749581
    • 2003-12-31
    • Wolfgang RoesnerDerek Williams
    • Wolfgang RoesnerDerek Williams
    • G06F17/50
    • G06F17/5022
    • Methods, data processing systems, and program products supporting multi-cycle simulation are disclosed. According to one method, a configuration database including at least one data structure representing an instance of a Dial entity is received. The instance of the Dial entity has at least an input, an output, and at least one associated latch within a digital design. A value of the output of the instance of the Dial entity controls a value stored within the associated latch. A control file is also received. The control file indicates that at least one associated latch data structure is to be inserted within the configuration database to represent the latch during multi-cycle simulation. In response to receipt of the configuration database and the control file, the configuration database is processed with reference to the control file to insert within the configuration database at least one latch data structure and to associate, within the configuration database, the at least one latch data structure with the instance of the Dial entity.
    • 公开了支持多循环模拟的方法,数据处理系统和程序产品。 根据一种方法,接收包括表示Dial实体的实例的至少一个数据结构的配置数据库。 Dial实体的实例在数字设计中至少具有输入,输出和至少一个相关联的锁存器。 Dial实例的实例的输出值控制存储在相关联的锁存器内的值。 还收到一个控制文件。 控制文件指示在多循环模拟期间,至少一个相关联的锁存数据结构将被插入配置数据库中以表示锁存器。 响应于接收到配置数据库和控制文件,参考控制文件来处理配置数据库,以在配置数据库内插入至少一个锁存数据结构,并且在配置数据库内将至少一个锁存器 数据结构与Dial实体的实例。
    • 68. 发明授权
    • Method, system and program product for utilizing a configuration database to configure a hardware digital system
    • 用于利用配置数据库配置硬件数字系统的方法,系统和程序产品
    • US06826732B2
    • 2004-11-30
    • US10425075
    • 2003-04-28
    • Bryan Ronald HuntWolfgang RoesnerDerek Edward Williams
    • Bryan Ronald HuntWolfgang RoesnerDerek Edward Williams
    • G06F1750
    • G06F17/5022G06F17/5045
    • A configuration database associated with a hardware system stores at least one data structure defining a Dial instance and a mapping between each of a plurality of possible input values of the Dial instance and a respective one of a corresponding plurality of output values, where the plurality of output values controls which of a plurality of different possible latch values is placed in a hardware latch to configure the hardware system. The configuration database further indicates an association between the Dial instance and the hardware latch. In response to receipt of a request specifying an input value for the Dial instance, the configuration database is accessed to determine an output value for the Dial instance based upon the mapping. In addition, a latch value is obtained based upon the output value and the association. The latch value is then provided to the hardware system to set the hardware latch to the desired latch value.
    • 与硬件系统相关联的配置数据库存储定义Dial实例的至少一个数据结构以及Dial实例的多个可能的输入值中的每一个与相应的多个输出值中的相应的一个之间的映射,其中多个 输出值控制多个不同可能的锁存值中的哪一个被放置在硬件锁存器中以配置硬件系统。 配置数据库还指示Dial实例和硬件锁存器之间的关联。 响应于接收到指定Dial实例的输入值的请求,访问配置数据库以基于映射来确定Dial实例的输出值。 此外,基于输出值和关联来获得锁存值。 然后将锁存值提供给硬件系统,以将硬件锁存器设置为所需的锁存值。
    • 69. 发明授权
    • Apparatus and method for automated use of phase abstraction for enhanced verification of circuit designs
    • 自动使用相位抽象以增强电路设计验证的装置和方法
    • US06763505B2
    • 2004-07-13
    • US10116607
    • 2002-04-04
    • Jason Raymond BaumgartnerRobert Lowell KanzelmanWolfgang Roesner
    • Jason Raymond BaumgartnerRobert Lowell KanzelmanWolfgang Roesner
    • G06F1750
    • G06F17/5022
    • An apparatus and method for automated use of phase abstraction for enhanced verification of circuit designs is provided. With the apparatus and method, latches are “colored,” i.e. classified into different types, based on information obtained from a clock tree of the circuit design. Clock tree primitives contain sufficient information to taxonomize the clocks into their respective phases and identify which latches are gated latches. In coloring the latches, gated latches are replaced in the circuit design with a free running clock, a multiplexor, and a sequence of L1 to Ln latches to provide a feedback path via the data path. This allows the gated latch to be phase abstracted without losing the “gated” functionality of the gated latch in the resulting trace. Once the latches are colored in this way, phase abstraction is performed on the colored circuit design. The phase abstracted netlist is then subjected to verification and a trace is produced. The coloring information of the original circuit, plus information as to the exact nature of the phase abstraction performed, is then used to transform the phase abstracted trace to one which resembles a trace of the circuit without phase abstraction.
    • 提供了一种用于自动使用相位抽象以用于电路设计的增强验证的装置和方法。 利用该装置和方法,锁存器是“彩色的”,即根据从电路设计的时钟树获得的信息被分类成不同类型。 时钟树原语包含足够的信息,将时钟分类到各自的相位,并确定哪些锁存器是门控锁存器。 在对锁存器进行着色时,门控锁存器在电路设计中被替换为具有自由运行时钟,多路复用器和L1到Ln锁存器的序列,以通过数据路径提供反馈路径。 这允许门控锁存器被相位抽取,而不会损失所得到的跟踪中门控锁存器的“选通”功能。 一旦锁存器以这种方式着色,相位抽象就在彩色电路设计上执行。 然后对相抽象网表进行验证,并生成跟踪。 原始电路的着色信息,以及执行相位抽象的确切性质的信息,然后用于将相位抽象曲线转换为类似于没有相位抽象的电路轨迹。