BIDIRECTIONAL BUS REPEATER
    1.
    发明公开
    BIDIRECTIONAL BUS REPEATER 失效
    双向巴士路线AMP。

    公开(公告)号:EP0610452A1

    公开(公告)日:1994-08-17

    申请号:EP93909342.0

    申请日:1992-10-29

    IPC分类号: H03K19 H03K5 H04L5

    CPC分类号: H03K5/026

    摘要: Un répéteur (10) de bus bidirectionnel comprend deux répéteurs (11, 13) de bus unidirectionnels connectés pour retransmettre des signaux dans des sens opposés entre deux bus (12, 14). Lorsqu'un circuit d'attaque de bus externe fait descendre la tension de n'importe quel bus, un des répéteurs de bus unidirectionnel fait descendre la tension de l'autre bus. Lorsque le circuit d'attaque de bus externe permet au bus de s'élever au niveau logique élevé, le répéteur de bus unidirectionnel fournit temporairement un courant de charge élevé à l'autre bus afin de le faire monter rapidement en tension. Chaque répéteur de bus unidirectionnels (11, 13) génère également des signaux indiquant lorsqu'il fait monter ou descendre activement son bus de sortie en tension, et les signaux indicateurs empêchent un répéteur de bus unidirectionnel d'attaquer activement sa sortie lorsque l'autre répéteur de bus unidirectionnel attaque activement sa sortie.

    A METHOD FOR HIERARCHICAL SPECIFICATION OF SCHEDULING IN SYSTEM-LEVEL SIMULATIONS
    6.
    发明授权
    A METHOD FOR HIERARCHICAL SPECIFICATION OF SCHEDULING IN SYSTEM-LEVEL SIMULATIONS 有权
    法的时序仿真对系统级等级规格

    公开(公告)号:EP1327189B1

    公开(公告)日:2012-07-25

    申请号:EP01981725.3

    申请日:2001-10-17

    IPC分类号: G06F7/62 G06F17/50

    CPC分类号: G06F17/5022 G06F17/5045

    摘要: A method for hierarchical specification and modeling of scheduling in systemlevel simulations. A static scheduler is synthesized by a Virtual Component Codesign (VCC) process and comprises a simple sequential execution of the run functions (1-3) of behavious A-F. The invention addresses the specification aspect by introducing an explicit notion of a scheduler that must be designed as part of the system. A scheduler effectively represents a scheduling policy for an architectural resource. Two orthogal models, one of a scheduler and one of a schedulable, comprise the overall modeling of scheduling in the invention. The two models interact by sending messages to each other via a simple protocol. The protocol itself is implemented by a pair of abstract interfaces, which in turn are implemented in concrete schedulable and scheduler objects in the simulator.

    Method and apparatus for determining interactive electromagnetic effects among conductors of a multi-layer circuit
    8.
    发明公开
    Method and apparatus for determining interactive electromagnetic effects among conductors of a multi-layer circuit 审中-公开
    用于在多层电路的导体确定的交互式电磁效应的方法和装置

    公开(公告)号:EP1521188A3

    公开(公告)日:2010-09-29

    申请号:EP04256124.1

    申请日:2004-10-04

    IPC分类号: G06F17/50

    摘要: To estimate a distribution of voltages or currents in the layers of a multi-layer circuit, an exemplary current flow in each layer is discretized into a number of current vector elements and at least one scalar charge element related to the charge associated with each current vector element. A first distribution of voltages induced in each circuit layer is determined from current vector elements in all of the circuit layers. A second distribution of voltages induced in each circuit layer is determined from the scalar charge elements in all of the circuit layers. For each circuit layer, the first and second distributions of voltages induced therein are combined to determine an actual distribution of voltages in the circuit layer.

    Method and system for performing software verification
    10.
    发明公开
    Method and system for performing software verification 审中-公开
    方法和系统软件审核

    公开(公告)号:EP2204738A3

    公开(公告)日:2010-07-28

    申请号:EP09015071.5

    申请日:2009-12-04

    IPC分类号: G06F11/36 G06F17/50

    CPC分类号: G06F11/3688 G06F17/5022

    摘要: Described is a method, system, and computer program product that provides control of a hardware/software system, and allows deterministic execution of the software under examination. According to one approach, a virtual machine for testing software is used with a lightly synchronized stimulus for the software being tested. A verification tool external to the virtual machine is used to provide test stimulus to and to collect test information from the virtual machine. Test stimulus from the verification tool that is external to the virtual machine provides the stimulation that incrementally operates and changes the state of the virtual machine The stimulus is created and coverage is collected from outside the virtual machine by first stopping the virtual machine, depositing stimulus, and then reading coverage directly from the virtual machine memory while the machine is stopped.