METHOD AND APPARATUS FOR FINDING LOGIC EQUIVALENCE BETWEEN REGISTER TRANSFER LEVEL AND POST SYNTHESIS NETS

    公开(公告)号:US20180181683A1

    公开(公告)日:2018-06-28

    申请号:US15387958

    申请日:2016-12-22

    CPC classification number: G06F17/505 G06F17/5022

    Abstract: A method, computer program, and apparatus are described for finding the logical equivalence between register transfer level (RTL) wires and post synthesis nets in a netlist. In some example embodiments, the method includes minimizing nets in a netlist and matching each RTL wire to a netlist net. In some example embodiments, the method also includes determining if an RTL wire is logically equivalent to a netlist net. In some example embodiments, the method also includes determining a new candidate for a net if the RTL wire and associated netlist net are not logically equivalent.

    Time-efficient network function virtualization architecture

    公开(公告)号:US10009278B2

    公开(公告)日:2018-06-26

    申请号:US14616760

    申请日:2015-02-09

    CPC classification number: H04L47/12 H04L41/12 H04L41/16 H04L41/5054

    Abstract: A method for designing a Network Function Virtualization (NFV) architecture includes accepting a definition of multiple Virtual Network Functions (VNFs), and of one or more packet types having respective occurrence probabilities, wherein each packet type is associated with a respective subset of the VNFs that are to be applied to packets of that packet type. Information on multiple available physical computers, each capable of running only a partial subset of the multiple VNFs, is further accepted. The VNFs are allocated to the physical computers by applying an optimality criterion to definition and the information.

    Integrated circuit inductor
    243.
    发明授权

    公开(公告)号:US09935048B2

    公开(公告)日:2018-04-03

    申请号:US15402247

    申请日:2017-01-10

    CPC classification number: H01L23/5227 H01L28/10 H01L2924/0002 H01L2924/00

    Abstract: An inductive device is formed in a circuit structure that includes alternating conductive and insulating layers. The device includes, in a plurality of the conductive layers, traces forming a respective pair of interleaved loops and at least one interconnect segment in each of the plurality of the conductive layers. In each layer among the plurality of the conductive layers, at least one loop in the respective pair is closed by jumpers to an interconnect segment formed in another layer above or below the layer.

    In-node Aggregation and Disaggregation of MPI Alltoall and Alltoallv Collectives

    公开(公告)号:US20170255501A1

    公开(公告)日:2017-09-07

    申请号: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.

    Remote host management over a network
    249.
    发明申请

    公开(公告)号:US20170242819A1

    公开(公告)日:2017-08-24

    申请号:US15051750

    申请日:2016-02-24

    CPC classification number: G06F13/42 G06F13/36 G06F13/4027

    Abstract: A method for management of a host computer that includes a management controller configured to carry out, independently of the host CPU, host management instructions contained in management packets compliant with a first data link protocol. The method includes receiving the management packets from a first network operating in accordance with the first data link protocol. The management packets are encapsulated in data packets compliant with a second data link protocol, different from the first data link protocol. The data packets are transmitted to a second network, operating in accordance with the second data link protocol. The transmitted data packets are received from the second network in a network interface controller (NIC), which is installed in the host computer and connected to the second network. The NIC decapsulates the management packets from the received data packets and passes the decapsulated management packets via a sideband connection to the management controller.

    PACKET SWITCH WITH REDUCED LATENCY
    250.
    发明申请

    公开(公告)号:US20170201468A1

    公开(公告)日:2017-07-13

    申请号:US15470940

    申请日:2017-03-28

    CPC classification number: H04L49/901 H04L49/90 H04L49/9094

    Abstract: A switching device includes a plurality of ports and a switching core, which is coupled to transfer data packets between ingress and egress ports. Switching logic maintains a descriptor queue containing respective descriptors corresponding to the data packets that have been received and queued by the ports, and responsively to the respective descriptors, instructs the switching core to transfer the queued data packets between the ports. Port logic, which is associated with each port, is configured, upon receipt of a data packet from the network at the port, to signal the switching logic to place a descriptor corresponding to the data packet in the descriptor queue and, upon identifying the data packet as meeting a predefined criterion, to convey a request to the switching logic, bypassing the descriptor queue, to instruct the switching core to transfer the data packet immediately to an egress port.

Patent Agency Ranking