Methods for automatic engineering change order (ECO) bug fixing in integrated circuit design

    公开(公告)号:US10599802B2

    公开(公告)日:2020-03-24

    申请号:US16010536

    申请日:2018-06-18

    Abstract: An apparatus for IC design includes a memory configured to store an original Register Transfer Level (RTL) model, a corrected RTL model, and a translation of the original RTL model into a netlist. A processor is configured to identify in the original RTL model a flip-flop having a next-state function that is not equivalent to a corresponding next-state function of a corresponding flip-flop in the Corrected RTL model, to find a wire, which is the earliest ancestor of the flip-flop for which there is no equivalence between the original RTL model and the corrected RTL model, to check whether the wire has an equivalent net in the netlist, to identify, upon finding that the wire has no equivalent net, one or more ancestors of the wire, which do have equivalent nets in the netlist, and to modify the netlist to match the corrected RTL model.

    Application accelerator
    212.
    发明申请

    公开(公告)号:US20200014918A1

    公开(公告)日:2020-01-09

    申请号:US16291023

    申请日:2019-03-04

    Abstract: A system including an acceleration device including input circuitry configured, for each of a first plurality of video frames to be encoded, to receive an input including at least one raw video frame and at least one reference frame, and to divide each of the first plurality of video frames to be encoded into a second plurality of blocks, and similarity computation circuitry configured, for each one of the first plurality of video frame to be encoded: for each the block of the second plurality of blocks, to produce a score of result blocks based on similarity of each the block in each frame to be encoded to every block of the reference frame, and a displacement vector. Related apparatus and methods are also provided.

    Computing in parallel processing environments

    公开(公告)号:US10528519B2

    公开(公告)日:2020-01-07

    申请号:US15584327

    申请日:2017-05-02

    Inventor: Mark Rosenbluth

    Abstract: A computing system comprises one or more cores. Each core comprises a processor. In some implementations, each processor is coupled to a communication network among the cores. In some implementations, a switch in each core includes switching circuitry to forward data received over data paths from other cores to the processor and to switches of other cores, and to forward data received from the processor to switches of other cores. Also disclosed is a cache coherency protocol that includes both an “Owned” state and a Forward state together with protocol mechanism for handling various memory requests.

    In-node aggregation and disaggregation of MPI alltoall and alltoallv collectives

    公开(公告)号:US10521283B2

    公开(公告)日:2019-12-31

    申请号:US15446004

    申请日:2017-03-01

    Abstract: An MPI collective operation carried out in a fabric of network elements by transmitting MPI messages from all the initiator processes in an initiator node to designated ones of the responder processes in respective responder nodes. Respective payloads of the MPI messages are combined in a network interface device of the initiator node to form an aggregated MPI message. The aggregated MPI message is transmitted through the fabric to network interface devices of responder nodes, disaggregating the aggregated MPI message into individual messages, and distributing the individual messages to the designated responder node processes.

    FACILITATING VIRTUAL FUNCTIONS USING MEMORY ALLOCATION IN A VIRTUALIZATION ENVIRONMENT

    公开(公告)号:US20190332291A1

    公开(公告)日:2019-10-31

    申请号:US15963236

    申请日:2018-04-26

    Abstract: Apparatuses and methods are described that provide for a mechanism for allocating physical device memory for one or more virtual functions. In particular, a memory allocating framework is provided to utilize device memory more efficiently by mapping at least one target location of the physical memory in a Base Address Register (BAR) associated with the virtual function from a plurality of available target locations based on an allocation request. The memory allocating framework is further configured to compare an indication associated with the requesting virtual function to an identifier of the requested target location. Moreover, the memory allocating framework is further configured to allow the simultaneous use of more than one virtual function at a time while providing isolation between multiple virtual functions.

    SUBSTRATE EMITTING VERTICAL-CAVITY SURFACE-EMITTING LASER

    公开(公告)号:US20190312413A1

    公开(公告)日:2019-10-10

    申请号:US15944955

    申请日:2018-04-04

    Abstract: A vertical-cavity surface-emitting laser (VCSEL), substrate emitting VCSEL, and multi-beam emitting device and corresponding manufacturing processes are provided. An example VCSEL comprises a substrate having a first surface and a second surface; an output coupling mirror disposed on the second surface of the substrate; a high reflectivity mirror; and an active cavity material structure disposed between the output coupling mirror and the high reflectivity mirror. The active cavity material structure comprises a first current-spreading layer, a second current-spreading layer, an active region disposed between the first current-spreading layer and the second current-spreading layer, and a tunnel junction overgrown by the second current spreading layer, wherein the tunnel junction is disposed adjacent the active region. The VCSEL is configured to emit radiation outward through the first surface of the substrate.

    Trusted out-of-band memory acquisition for IOMMU-based computer systems

    公开(公告)号:US20190310945A1

    公开(公告)日:2019-10-10

    申请号:US15947816

    申请日:2018-04-08

    Abstract: An apparatus includes an interface and memory acquisition circuitry. The interface is configured to communicate over a bus operating in accordance with a bus protocol, which supports address-translation transactions that translate between bus addresses in an address space of the bus and physical memory addresses in an address space of a memory. The memory acquisition circuitry is configured to read data from the memory by issuing over the bus, using the bus protocol, one or more requests that (i) specify addresses to be read in terms of the physical memory addresses, and (ii) indicate that the physical memory addresses in the requests have been translated from corresponding bus addresses even though the addresses were not obtained by any address-translation transaction over the bus.

    Maintaining packet order in offload of packet processing functions

    公开(公告)号:US10382350B2

    公开(公告)日:2019-08-13

    申请号:US15701459

    申请日:2017-09-12

    Abstract: Network interface apparatus includes a host interface and a network interface, which receives packets in multiple packet flows destined for one or more virtual machines running on a host processor. Packet processing circuitry receives a first instruction from the host processor to offload preprocessing of the data packets in a specified flow in accordance with a specified rule, and initiates preprocessing of the data packets while writing one or more initial data packets from the specified flow to a temporary buffer. Upon subsequently receiving a second instruction to enable the specified rule, the initial data packets are delivered from the temporary buffer, after preprocessing by the packet processing circuitry, directly to a virtual machine to which the specified flow is destined, followed by preprocessing and delivery of subsequent data packets in the specified flow to the virtual machine.

Patent Agency Ranking