US 10,764,129 B2 · Logic repository service supporting adaptable host logic

Abstract

The following description is directed to a logic repository service supporting adaptable host logic. In one example, a method of a logic repository service can include receiving a first request to generate configuration data for configurable hardware using a specification for application logic. The method can include selecting a particular host logic shell from a group of host logic shells. The particular host logic shell can be used to encapsulate the application logic when the configurable hardware is configured. Configuration data for the configurable hardware can be generated. The configuration data can include data for implementing the application logic and at least a portion of the particular host logic shell. The method can include receiving a second request to download the configuration data to a host server computer comprising the configurable hardware. The configuration data can be transmitted to the host server computer in response to the second request.

Claims19

Dependent claims

A method of providing configurable hardware, the method comprising:

receiving a first request to generate configuration data for a field-programmable gate array (FPGA), the first request comprising a reference to a hardware design specifying application logic for implementation on the FPGA;
selecting a particular host logic shell from a plurality of host logic shells, the particular host logic shell encapsulating the application logic when the FPGA is configured by providing an interface between the application logic and external pins of the FPGA;
generating validated FPGA configuration data based on the application logic and the particular host logic shell, wherein the generating includes analyzing the application logic to determine whether the application logic connects with only predetermined authorized interfaces;
receiving a second request to download the validated FPGA configuration data to a host server computer of the computing environment, the host server computer comprising a particular FPGA;
and
transmitting the validated FPGA configuration data to the host server computer in response to the second request so that the particular FPGA is configured with the particular host logic shell and the application logic.

3 more elements

A computing system comprising:

a database storing a plurality of host logic designs;
and
a logic repository service running on a first server computer coupled to the database, the logic repository service configured to:
ingest a specification for an application logic design;
select a particular host logic design from the plurality of host logic designs, the particular host logic design selected based on the application logic design, wherein the particular host logic design comprises static logic and reconfigurable logic and wherein the static logic comprises logic that is a prerequisite for loading the reconfigurable logic of the particular host logic design and the application logic design onto configurable hardware;
generate configuration data for the configurable hardware, the configuration data based on the application logic design and the particular host logic design, wherein the generating of configuration data includes determining whether the application logic design connects with only predetermined authorized interfaces;
receive a request for the configuration data from a second server computer;
and
transmit the configuration data to the second server computer, the second server computer comprising an instance of the configurable hardware.

6 more elements

Dependencies are inferred from the claim text.

Logic repository service supporting adaptable host logic

Life of this patent

Logic repository service supporting adaptable host logic

Life of this patent

Abstract

Claims19