摘要:
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 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.
摘要:
To provide a sem conductor chip whose number of electrodes are minimized while the horizontal position between the semiconductor chip and the mounted substrate is maintained in implementation to avoid any connection problem, as well as to prevent the damage to the semiconductor circuit of such chip. For example, there is a cross-shaped connection bump disposition area 23 which is formed by memory banks 22A-22D which face with each other with a certain distance. And in the area 23A in the cross-shaped connection bump disposition area 23, signal input output connection bumps 21A (the first electrodes) are disposed and form a group. On the other hand, by disposing a group of power/grounding connection bumps 21 B in the area 23B which crosses in the right angle with the area 23A where a group of the signal input output connection bumps 21A is disposed, forming a group, the memory chip 20 is supported by the power/grounding bumps 21B (via soldering) so that it will not tilt when implemented on the wiring chip 10, thus, its horizontal position is maintained by the minimum number of bumps. For example, the memory chip 20 is composed as such.
摘要:
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.
摘要:
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.