Generalizing and inferring behaviors of a circuit design
    1.
    发明授权
    Generalizing and inferring behaviors of a circuit design 有权
    推导和推断电路设计的行为

    公开(公告)号:US08205187B1

    公开(公告)日:2012-06-19

    申请号:US12797473

    申请日:2010-06-09

    CPC classification number: G06F17/5081 G06F17/5022

    Abstract: An executable circuit design is used to generate waveforms, from which behaviors of the circuit are captured. The behaviors and various combinations thereof can then be saved in a database, along with descriptions and other metadata about them, thereby generating a behavioral index of the circuit design code. Behavioral indexing of circuit designs allows a user to maintain an indexed behavior database, track changes in behaviors as the circuit design's executable description evolves, and figure out how the executable description can be reused in different projects. When applied to digital design development, it facilities the current design and verification effort, as well as design reuse down the line.

    Abstract translation: 使用可执行电路设计来产生波形,从中捕获电路的行为。 然后将其行为及其各种组合保存在数据库中,以及关于它们的描述和其他元数据,从而生成电路设计代码的行为指数。 电路设计的行为索引允许用户维护索引行为数据库,跟踪电路设计的可执行描述演变的行为变化,并确定可执行描述如何在不同的项目中重复使用。 当应用于数字设计开发时,它有助于当前的设计和验证工作,以及设计重用。

    Nickel alloy plated structure
    3.
    发明授权
    Nickel alloy plated structure 失效
    镍合金镀层结构

    公开(公告)号:US07472650B2

    公开(公告)日:2009-01-06

    申请号:US11865170

    申请日:2007-10-01

    Abstract: A structure. The structure includes a layered configuration including a copper layer, a first layer, and a second layer. The first and second layers are disposed on opposite sides of the copper layer and are in direct mechanical contact with the copper layer. The first and second layers each include a same alloy of nickel and a metal consisting of cobalt, iron, copper, manganese, or molybdenum. A first region in the first layer extends completely through the first layer. A second region in the second layer extends completely through the second layer. A third region in the first layer extends completely through the first layer. The third region does not extend into any portion of the second layer. The first, second region, and third regions each include a photoresist or an opening such that photoresist or opening extends completely through the first, second, and first layer, respectively.

    Abstract translation: 一个结构。 该结构包括包括铜层,第一层和第二层的层状构造。 第一层和第二层设置在铜层的相对侧上,并与铜层直接机械接触。 第一层和第二层各自包括镍和由钴,铁,铜,锰或钼组成的金属的相同合金。 第一层中的第一区域完全延伸穿过第一层。 第二层中的第二区域完全延伸穿过第二层。 第一层中的第三区域完全延伸穿过第一层。 第三区域不延伸到第二层的任何部分。 第一,第二区域和第三区域各自包括光致抗蚀剂或开口,使得光致抗蚀剂或开口分别完全延伸穿过第一层,第二层和第一层。

    System and method for specifying hardware description language assertions targeting a diverse set of verification tools
    4.
    发明授权
    System and method for specifying hardware description language assertions targeting a diverse set of verification tools 失效
    用于指定针对不同组验证工具的硬件描述语言断言的系统和方法

    公开(公告)号:US06591403B1

    公开(公告)日:2003-07-08

    申请号:US09677352

    申请日:2000-10-02

    CPC classification number: G06F17/5022

    Abstract: A method, and system in support thereof, of specifying hardware description language assertions targeting a diverse set of verification tools to provide verification of a logic design by the set of verification tools. The constraints and properties of the logic design are described in the HDL using one or more high-level assertion specification macros representative of the assertions of the logic design. The one or more assertion specification macros are stored as components within a specification macro library for later retrieval as needed. Upon reading original HDL source code containing assertion macro calls to the assertion specification macros, a specification macro processor accesses the definitions of the assertion macros stored, if contained within a definition library, and uses these definitions as templates to automatically write expansion HDL code into the HDL source code and to automatically store tool-specific HDL code into corresponding tool-specific modules libraries for later use by one or more verification tools. If definitions of one or more of the assertion macros are not contained with the definition library, they may be written as needed.

    Abstract translation: 一种支持它的方法和系统,用于指定针对不同集合的验证工具的硬件描述语言断言,以提供该组验证工具对逻辑设计的验证。 在HDL中描述了逻辑设计的约束和属性,使用一个或多个代表逻辑设计断言的高级断言规范宏。 一个或多个断言规范宏作为组件存储在规范宏库中,以便以后根据需要进行检索。 在读取包含对断言规范宏的断言宏调用的原始HDL源代码时,规范宏处理器访问存储的断言宏的定义(如果包含在定义库中),并使用这些定义作为模板自动将扩展HDL代码写入 HDL源代码,并将工具特定的HDL代码自动存储到相应的工具特定模块库中,供以后由一个或多个验证工具使用。 如果一个或多个断言宏的定义不包含在定义库中,则可根据需要编写它们。

    Communications systems with quality of service parameters
    5.
    发明授权
    Communications systems with quality of service parameters 失效
    具有服务质量参数的通信系统

    公开(公告)号:US06278693B1

    公开(公告)日:2001-08-21

    申请号:US08823400

    申请日:1997-03-24

    Abstract: A communications system may be used for transmitting and/or receiving data over a network. The communications system includes means responsive to requests for a desired quality of service specifying at least two quality of service parameters, such as bandwidth, latency, error rate, and so on, for determining whether or not the requested quality of service is available. The quality of service requests specify the desired quality of service in terms of logical expressions involving two or more of said at least two quality of service parameters. This allows, for example, a desired quality of service to accept a higher error rate if the available bandwidth is higher. In the preferred embodiment, each quality of service parameter is specified in terms of a range between minimum and a maximum acceptable values.

    Abstract translation: 通信系统可以用于通过网络发送和/或接收数据。 通信系统包括响应于期望服务质量的请求的装置,其指定至少两个服务质量参数,例如带宽,等待时间,错误率等,以确定所请求的服务质量是否可用。 服务质量请求根据涉及所述至少两个服务质量参数中的两个或多个的逻辑表达来指定所需的服务质量。 例如,如果可用带宽较高,则这允许所需的服务质量接受更高的错误率。 在优选实施例中,根据最小和最大可接受值之间的范围来指定每个服务质量参数。

    Flex tab thick film metal mask to deposit coating material
    6.
    发明授权
    Flex tab thick film metal mask to deposit coating material 失效
    挠性片厚膜金属掩模沉积涂料

    公开(公告)号:US5807610A

    公开(公告)日:1998-09-15

    申请号:US831357

    申请日:1997-04-01

    CPC classification number: B41C1/14 H05K3/1225

    Abstract: A mask for printing a pattern on a substrate comprises a sheet preferably of metal having a printing pattern thereon comprising through mask openings in the sheet. The through mask openings are interconnected by tabs or bridges which have a structure which provides a bending moment in a portion of the tab when a force is applied to the mask to force material to be deposited on the substrate through the mask openings. A preferred tab structure has a step shape and at least one through opening in the tab. The step shape and through mask opening both provide bending moments in the tab and the through opening also provides enhanced patterning definition because the deposition material flows both under the tab and through the through tab opening. The masks have a longer operating life than conventional masks and enhanced operating characteristics.

    Abstract translation: 用于在基板上印刷图案的掩模包括优选具有其上具有印刷图案的金属的片材,其上包括片材中的掩模开口。 通孔掩模开口通过接头或桥互连,接头或桥具有当将力施加到掩模上以提供弯片的一部分中的弯曲力矩以迫使材料通过掩模开口沉积在基底上的结构。 优选的翼片结构具有台阶形状并且在翼片中具有至少一个通孔。 台阶形状和通过掩模开口都提供了突片中的弯曲力矩,并且通孔也提供增强的图案化定义,因为沉积材料在凸片下方并且穿过通过凸片开口流动。 掩模具有比常规掩模更长的使用寿命和增强的操作特性。

    Apparatus for building a tobacco stream
    7.
    再颁专利
    Apparatus for building a tobacco stream 失效
    用于建造烟草流的装置

    公开(公告)号:USRE29042E

    公开(公告)日:1976-11-23

    申请号:US655549

    申请日:1976-02-05

    Applicant: Harry David

    Inventor: Harry David

    CPC classification number: A24C5/39

    Abstract: A distributor for comminuted tobacco wherein a first conveyor, such as a carded drum, an endless apron or a pneumatic conveyor, supplies tobacco at a variable rate into the path of orbital movement of bristles on a rapidly rotating accelerating device. The bristles propel the particles of tobacco onto a narrow foraminous transporting belt which travels in a horizontal channel and accumulates a dense tobacco stream which is transported past a trimming device and into the wrapping mechanism of a cigarette rod making machine. The accelerating device is driven by a separate motor so that the peripheral speed of its bristles exceeds the speed of tobacco travel on the first conveyor. The stream is attracted to the transporting conveyor by suction, and the accelerating device is placed sufficiently close to the channel to insure that, during impact against the transporting conveyor or against the layer of tobacco thereon, the kinetic energy of all or nearly all tobacco particles is substantially identical. The accelerating device can be placed below, between or above the first conveyor and transporting conveyor and may form part of a winnowing assembly.

Patent Agency Ranking