Logic repository service

• US 10,162,921 B2
• Filed: 09/29/2016
• Issued: 12/25/2018
• Est. Priority Date: 09/29/2016
• Status: Active Grant

• Current Assignee: Amazon Technologies, Inc. (Amazon.com, Inc.)
• Original Assignee: Amazon Technologies, Inc. (Amazon.com, Inc.)
• Inventors: Atta, Islam Mohamed Hatem Abdulfattah Mohamed
• Primary Examiner(s): Memula, Suresh
• Application Number:
  US15/280,656
• Publication Number:
  US 20180089343A1
• Time in Patent Office: 817 Days
• Field of Search: 716104
• CPC Class Codes: G06F 15/7871 Reconfiguration support, e.g. configuration loading, configuration switching, or hardware OS
• CPC Class Codes: G06F 16/22 Indexing; Data structures therefor; Storage structures
• CPC Class Codes: G06F 30/327 Logic synthesis; Behaviour synthesis, e.g. mapping logic, HDL to netlist, high-level language to RTL or netlist
• CPC Class Codes: G06F 30/3312 Timing analysis
• CPC Class Codes: G06F 30/343 Logical level
• CPC Class Codes: G06F 30/394 Routing G06F30/396 takes precedence
• CPC Class Codes: G06F 9/50 Allocation of resources, e.g. of the central processing unit [CPU]

Abstract

The following description is directed to a logic repository service. 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 of the configurable hardware. The method can include generating the configuration data for the configurable hardware. The configuration data can include data for implementing the application logic. The method can include receiving a second request to download the configuration data to a host server computer comprising the configurable hardware. The method can include transmitting the configuration data to the host server computer in response to the second request so that the configurable hardware is configured with the host logic and the application logic.

Claims

1. 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, the FPGA comprising host logic and the application logic when the FPGA is configured;

generating a validated bitstream based on the application logic and the host logic, the validated bitstream specifying the configuration data for the FPGA;

receiving a second request to download the validated bitstream to a host server computer of a computing environment, the host server computer comprising a particular FPGA;

transmitting the validated bitstream to the host server computer in response to the second request so that the particular FPGA is configured with the host logic and the application logic;

launching an instance of a virtual machine on the host server computer of the computing environment; and

making the configured FPGA available for use by the instance of the virtual machine.

2. The method of claim 1, wherein the received hardware design comprises source code, and wherein generating the validated bitstream comprises synthesizing the received hardware design to generate a netlist compatible with the FPGA.

3. The method of claim 1, wherein the received hardware design comprises a netlist, and wherein generating the validated bitstream comprises routing the received hardware design.

4. The method of claim 1, wherein the first request further comprises an instance type of the FPGA, and the validated bitstream is generated based on the instance type, the application logic, and the host logic.

5. The method of claim 1, wherein the FPGA comprises multiple configurable regions, and the validated bitstream specifying the configuration data is a partial bitstream for configuring a portion of the regions.

6. The method of claim 5, wherein the validated bitstream specifying the configuration data comprises data for reconfiguring the application logic and data for maintaining static host logic.

7. The method of claim 1, wherein the second request is based at least in part on a request from a customer to launch an instance on the host server computer of the computing environment.

8. A non-transitory computer-readable storage medium including instructions that upon execution cause a computer system to:

receive a first request to generate configuration data for configurable hardware using a specification for application logic of the configurable hardware;

generate the configuration data for the configurable hardware, the configuration data comprising data for implementing the application logic;

receive a second request to transmit the configuration data to a host server computer comprising an instance of the configurable hardware;

transmit the configuration data to the host server computer in response to the second request;

launch an instance of a virtual machine on the host server computer; and

make the configured configurable hardware available for use by the instance of the virtual machine.

9. The computer-readable storage medium of claim 8, wherein the specification for the application logic comprises source code, and wherein generating the configuration data for the configurable hardware comprises synthesizing the source code to generate a netlist for the application logic.

10. The computer-readable storage medium of claim 8, wherein the specification for the application logic comprises a netlist, and wherein generating the configuration data for the configurable hardware comprises routing the netlist for the application logic.

11. The computer-readable storage medium of claim 8, wherein generating the configuration data for the configurable hardware comprises integrating the application logic with host logic of the configurable hardware, the host logic being configured to constrain the operation of the application logic.

12. The computer-readable storage medium of claim 11, wherein generating the configuration data for the configurable hardware comprises validating that the application logic is compatible with host logic requirements.

13. The computer-readable storage medium of claim 8, wherein generating the configuration data for the configurable hardware comprises assigning a hardware reference identifier to the configuration data, and wherein the second request includes the hardware reference identifier.

14. The computer-readable storage medium of claim 13, wherein the second request includes the hardware reference identifier for identifying the configuration data to download.

15. The computer-readable storage medium of claim 13, wherein the instructions, upon execution, further cause the computer system to:

associate the hardware reference identifier to a virtual machine image identifier, and wherein the second request includes the virtual machine image identifier for identifying the configuration data to download.

16. The computer-readable storage medium of claim 8, wherein the first request comprises a reference to an encrypted version of the specification for the application logic of the configurable hardware.

17. The computer-readable storage medium of claim 8, wherein the configurable hardware comprises a field-programmable gate array (FPGA) and the configuration data comprises a bitstream for configuring the FPGA.

18. The computer-readable storage medium of claim 8, wherein the instructions, upon execution, further cause the computer system to:

cause a timing report associated with the configuration data for the configurable hardware to be generated; and

store the timing report at a location specified by the first request.

19. A computing system comprising:

a database;

a logic repository service running on a first server computer coupled to the database, the logic repository service configured to;

ingest a first specification for application logic and a second specification for host logic of the configurable hardware to generate the configuration data for the configurable hardware;

store the configuration data in the database;

receive a request for the configuration data from a second server computer; and

transmit the configuration data to the second server computer; and

a deployment service running on a third server computer in communication with the second server computer, the deployment service configured to;

launch an instance of a virtual machine on the second server computer; and

make the configured configurable hardware available for use by the instance of the virtual machine.

20. The computing system of claim 19, wherein ingesting the first specification and the second specification comprises synthesizing and routing the application logic.

21. The computing system of claim 19, wherein the database comprises a library of configurable hardware indexed by one or more of a configurable hardware image identifier, a virtual machine image identifier, or a product code.