Mixed-language simulation
    13.
    发明授权

    公开(公告)号:US10296673B1

    公开(公告)日:2019-05-21

    申请号:US14723188

    申请日:2015-05-27

    Applicant: Xilinx, Inc.

    Abstract: For generating code for simulation of a circuit design, a hardware description language (HDL) description and a high-level language (HLL) description of portions of the circuit design are input. The HLL description specifies a first function and the HDL description includes a call to the first function. A wrapper is generated for the first function. The wrapper has an associated stack frame and includes code that stores in the stack frame values of arguments specified by the call to the first function and code that calls the first function. An HLL simulation specification is generated from the HDL description. The HLL simulation specification includes a call to the first HLL wrapper in place of the call to the first function. The HLL simulation specification, the first HLL wrapper, and the HLL description are compiled into executable program code.

    Performance and memory efficient modeling of HDL ports for simulation
    14.
    发明授权
    Performance and memory efficient modeling of HDL ports for simulation 有权
    HDL端口的性能和内存高效建模用于仿真

    公开(公告)号:US09223910B1

    公开(公告)日:2015-12-29

    申请号:US14159855

    申请日:2014-01-21

    Applicant: Xilinx, Inc.

    CPC classification number: G06F17/5022

    Abstract: A method for compiling an HDL specification for simulation of a circuit design is disclosed. The circuit design is elaborated from the HDL specification and memory locations are allocated for formals and actuals of the elaborated circuit design. For each port having a formal and an actual that are compatible, the allocating of memory locations sets a reference pointer for the formal and a reference pointer for the actual to reference a same one of the memory locations. For each port having a formal and an actual that are incompatible, the allocating of memory locations sets the reference pointer for the formal and the reference pointer for the actual to reference different respective ones of the memory locations. Simulation code modeling the elaborated circuit design is generated that updates a formal and actual of a port that are compatible using a single write operation to the referenced memory location.

    Abstract translation: 公开了一种用于编译用于模拟电路设计的HDL规范的方法。 电路设计由HDL规范进行阐述,内存位置分配给精密电路设计的正式和实际。 对于具有兼容的形式和实际的每个端口,存储器位置的分配设置用于形式的参考指针和用于实际引用相同存储器位置的引用指针。 对于具有不兼容的形式和实际的每个端口,存储器位置的分配设置形式的参考指针和用于实际引用的参考指针以引用不同的相应存储器位置。 生成针对详细电路设计的仿真代码建模,其将使用单个写入操作兼容的端口的正式和实际更新到引用的存储器位置。

    HIGH-LEVEL SYNTHESIS OF DESIGNS USING LOOP-AWARE EXECUTION INFORMATION

    公开(公告)号:US20240411967A1

    公开(公告)日:2024-12-12

    申请号:US18333372

    申请日:2023-06-12

    Applicant: Xilinx, Inc.

    Abstract: High-level synthesis of designs using loop-aware execution information includes generating, using computer hardware, an intermediate representation (IR) of a design specified in a high-level programming language. The design is for an integrated circuit. Execution information analysis is performed on the IR of the design generating analysis results for functions of the design. The analysis results of the design are transformed by embedding the analysis results in a plurality of regions of the IR of the design. Selected regions of the plurality of regions are merged based on the analysis results, as embedded, for the selected regions. The IR of the design is scheduled using the analysis results subsequent to the merging.

    STATIC AND AUTOMATIC INFERENCE OF INTER-BASIC BLOCK BURST TRANSFERS FOR HIGH-LEVEL SYNTHESIS

    公开(公告)号:US20230305949A1

    公开(公告)日:2023-09-28

    申请号:US17656236

    申请日:2022-03-24

    Applicant: Xilinx, Inc.

    CPC classification number: G06F11/3688 G06F8/311

    Abstract: Static and automatic realization of inter-basic block burst transfers for high-level synthesis can include generating an intermediate representation of a design specified in a high-level programming language, wherein the intermediate representation is specified as a control flow graph, and detecting a plurality of basic blocks in the control flow graph. A determination can be made that plurality of basic blocks represent a plurality of consecutive memory accesses. A sequential access object specifying the plurality of consecutive memory accesses of the plurality of basic blocks is generated. A hardware description language (HDL) version of the design is generated, wherein the plurality of consecutive memory accesses are designated in the HDL version for implementation in hardware using a burst mode.

    Static and automatic inference of inter-basic block burst transfers for high-level synthesis

    公开(公告)号:US11762762B1

    公开(公告)日:2023-09-19

    申请号:US17656236

    申请日:2022-03-24

    Applicant: Xilinx, Inc.

    CPC classification number: G06F11/3688 G06F8/311

    Abstract: Static and automatic realization of inter-basic block burst transfers for high-level synthesis can include generating an intermediate representation of a design specified in a high-level programming language, wherein the intermediate representation is specified as a control flow graph, and detecting a plurality of basic blocks in the control flow graph. A determination can be made that plurality of basic blocks represent a plurality of consecutive memory accesses. A sequential access object specifying the plurality of consecutive memory accesses of the plurality of basic blocks is generated. A hardware description language (HDL) version of the design is generated, wherein the plurality of consecutive memory accesses are designated in the HDL version for implementation in hardware using a burst mode.

    Unified container for hardware and software binaries

    公开(公告)号:US11720422B1

    公开(公告)日:2023-08-08

    申请号:US17198887

    申请日:2021-03-11

    Applicant: Xilinx, Inc.

    CPC classification number: G06F9/545 G06F8/44 G06F21/53 G06F21/572 G06F8/65

    Abstract: A unified container file can be selected using computer hardware. The unified container file can include a plurality of files embedded therein used to configure a programmable integrated circuit (IC). The plurality of files can include a first partial configuration bitstream and a second partial configuration bitstream. The unified container file also includes metadata specifying a defined relationship between the first partial configuration bitstream and the second partial configuration bitstream for programming the programmable IC. The defined relationship can be determined using computer hardware by reading the metadata from the unified container file. The programmable IC can be configured, using the computer hardware, based on the defined relationship specified by the metadata using the first partial configuration bitstream and the second partial configuration bitstream.

    Enabling integrity and authenticity of design data

    公开(公告)号:US11042610B1

    公开(公告)日:2021-06-22

    申请号:US15724942

    申请日:2017-10-04

    Applicant: Xilinx, Inc.

    Abstract: Embodiments herein describe techniques for validating binary files used to configure a hardware card in a computing system. In one embodiment, the hardware card (e.g., an FPGA) includes programmable logic which the binary file can configure to perform a specialized function. In one embodiment, multiple users can configure the hardware card to perform their specialized tasks. For example, the computing system may be server on the cloud that hosts multiple VMs or a shared workstation. Permitting multiple users to directly configure and use the hardware card may present a security risk. To mitigate this risk, the embodiments herein describe techniques for validating encrypted binary files.

Patent Agency Ranking