利索-全球专利检索

  1. 登录
  2. 注册

搜索结果

37 条记录 (耗时 0.046 秒)

    Object-oriented interface to RTL model signals
    5.
    发明申请
    Object-oriented interface to RTL model signals 审中-公开
    面向对象的RTL模型信号接口

    公开(公告)号：US20060129368A1

    公开(公告)日：2006-06-15

    申请号：US11011409

    申请日：2004-12-14

    申请人： Zachary Smith ,  John Maly ,  Ryan Thompson

    发明人： Zachary Smith ,  John Maly ,  Ryan Thompson

    IPC分类号： G06F17/50

    CPC分类号： G06F17/5022

    摘要： Systems, methodologies, media, and other embodiments associated with an object-oriented interface to register transfer language (RTL) signals are described. One exemplary system embodiment includes logic for acquiring the address of an RTL signal and for providing method level access to the RTL signal. The exemplary system embodiment may also include an object that facilitates establishing a relationship between the RTL signal address and RTL signal name and thus facilitates providing method level access to the RTL signal.

    摘要翻译： 描述了与用于注册转移语言（RTL）信号的面向对象接口相关联的系统，方法，媒体和其他实施例。 一个示例性系统实施例包括用于获取RTL信号的地址并提供对RTL信号的方法级访问的逻辑。 示例性系统实施例还可以包括有助于建立RTL信号地址和RTL信号名称之间的关系并因此有助于提供对RTL信号的方法级访问的对象。

    Virtual bus interface production of header-type fields from data-type fields
    6.
    发明申请
    Virtual bus interface production of header-type fields from data-type fields 失效
    虚拟总线接口从数据类型字段生成标题类型字段

    公开(公告)号：US20050216638A1

    公开(公告)日：2005-09-29

    申请号：US10812150

    申请日：2004-03-29

    申请人： Zachary Smith ,  John Maly ,  Ryan Thompson

    发明人： Zachary Smith ,  John Maly ,  Ryan Thompson

    IPC分类号： G06F13/14 ,  G06F13/38 ,  G06F13/40 ,  G06F13/42 ,  H04H20/76

    CPC分类号： G06F13/4265

    摘要： Systems, methodologies, media, and other embodiments associated with a system for producing a bus-type header-type field from a point-to-point data-type field are described. One exemplary system embodiment includes a logic configured to identify that a point-to-point transaction includes non-memory-data information encoded in a data flit, a logic configured to extract the non-memory-data information from the data flit, and a logic configured to produce a header-type field for a bus-type transaction produced by the virtual bus interface from the point-to-point transaction.

    摘要翻译： 描述了与用于从点到点数据类型字段产生总线类型报头型字段的系统相关联的系统，方法，媒体和其他实施例。 一个示例性系统实施例包括被配置为识别点对点事务包括在数据转发中编码的非存储器数据信息的逻辑，被配置为从数据迁移中提取非存储器数据信息的逻辑，以及 逻辑配置为从点到点事务产生由虚拟总线接口产生的总线类型事务的报头类型字段。

    Systems and methods for error tracking and recovery in an expectation-based memory agent checker
    7.
    发明申请
    Systems and methods for error tracking and recovery in an expectation-based memory agent checker 审中-公开
    基于期望的内存代理检查器中的错误跟踪和恢复的系统和方法

    公开(公告)号：US20050188275A1

    公开(公告)日：2005-08-25

    申请号：US10770741

    申请日：2004-02-03

    申请人： John Maly ,  Ryan Thompson ,  Zachary Smith

    发明人： John Maly ,  Ryan Thompson ,  Zachary Smith

    IPC分类号： G06F11/00 ,  G06F11/26

    CPC分类号： G06F11/261

    摘要： Systems, methods and software products are provided for error tracking and recovery in an expectation-based memory agent checker. An electronic device design is simulated with stimuli of one or more test cases, to generate simulated output transaction events. The simulated output transaction events are compared with expected output transaction events. Remaining expected output transaction events for a transaction are identified based upon mismatch between (a) at least one of the simulated output transaction events of the transaction and (b) the expected output transaction events of the transaction.

    摘要翻译： 提供系统，方法和软件产品用于基于期望的内存代理检查器中的错误跟踪和恢复。 利用一个或多个测试用例的刺激来模拟电子设备设计，以产生模拟的输出交易事件。 将模拟输出事务事件与预期的输出事务事件进行比较。 基于（a）交易的至少一个模拟输出交易事件和（b）交易的预期输出交易事件之间的不匹配来识别交易的剩余预期输出交易事件。

    POWER MANAGEMENT FEATURES
    8.
    发明申请
    POWER MANAGEMENT FEATURES 审中-公开

    公开(公告)号：US20180139545A1

    公开(公告)日：2018-05-17

    申请号：US15872267

    申请日：2018-01-16

    申请人： Michael Goorevich ,  Kenneth Oplinger ,  Zachary Smith

    发明人： Michael Goorevich ,  Kenneth Oplinger ,  Zachary Smith

    IPC分类号： H04R25/00

    CPC分类号： H04R25/30 ,  H04R25/554 ,  H04R25/558 ,  H04R25/606 ,  H04R2225/31 ,  H04R2225/67 ,  H04R2460/03 ,  H04R2460/13

    摘要： A method performed by an electronic controller includes determining a charge level of a power supply configured to provide power to a medical device, and estimating, based on the charge level of the power supply, a first power supply life for operating the medical device according to a first mode. Further, the method includes estimating, based on the charge level of the power supply, a second power supply life for operating the medical device according to a second mode. As recited, operating the medical device according to the first mode has a different power use or consumption characteristic from operating the medical device according to the second mode. The method also includes generating a notification indicative of the first power supply life and the second power supply life.

    Configuring an electrically stimulating device to stimulate using a subset of electrode contacts
    10.
    发明授权
    Configuring an electrically stimulating device to stimulate using a subset of electrode contacts 有权
    配置电刺激装置以刺激使用电极触点的子集

    公开(公告)号：US08744590B2

    公开(公告)日：2014-06-03

    申请号：US13469912

    申请日：2012-05-11

    申请人： Zachary Smith ,  Chris van den Honert

    发明人： Zachary Smith ,  Chris van den Honert

    IPC分类号： A61N1/00

    CPC分类号： A61N1/0541 ,  A61N1/36036

    摘要： A method of configuring a prosthesis having two or more electrode contacts, including configuring the prosthesis to provide stimulation to a first tissue site from a subset of electrode contacts based on data based on a comparison of first data to second data, wherein the first data is based on respective estimated voltages for the first site and one or more of additional respective sites to be applied by the subset of electrode contacts, the respective estimated voltages being based on empirical stimulation data for the first and additional sites, and the second data is based on respective target voltages for the first and additional sites, respectively.

    摘要翻译： 一种配置具有两个或更多个电极接触件的假体的方法，包括构造所述假体，以基于基于第一数据与第二数据的比较的数据从电极接触的子集提供对第一组织部位的刺激，其中所述第一数据为 基于第一部位的相应估计电压和由电极触点的子集施加的附加相应位置中的一个或多个，各个估计电压基于第一和附加位置的经验刺激数据，并且第二数据基于 分别对于第一和附加位置的各自的目标电压。