Unified memory systems and methods

    公开(公告)号:US11893653B2

    公开(公告)日:2024-02-06

    申请号:US16408173

    申请日:2019-05-09

    CPC classification number: G06T1/20 G06F9/5016 G06F12/109 G06T1/60

    Abstract: The present invention facilitates efficient and effective utilization of unified virtual addresses across multiple components. In one embodiment, the presented new approach or solution uses Operating System (OS) allocation on the central processing unit (CPU) combined with graphics processing unit (GPU) driver mappings to provide a unified virtual address (VA) across both GPU and CPU. The new approach helps ensure that a GPU VA pointer does not collide with a CPU pointer provided by OS CPU allocation (e.g., like one returned by “malloc” C runtime API, etc.).

    SOFTWARE PROGRAM ERROR TESTING FOR AUTONOMOUS SYSTEMS AND APPLICATIONS

    公开(公告)号:US20240232050A1

    公开(公告)日:2024-07-11

    申请号:US18152666

    申请日:2023-01-10

    CPC classification number: G06F11/3644 G06F11/3664 G06F11/3688

    Abstract: One or more embodiments of the present disclosure relate to executing a software testing tool to identify function calls—internal and/or external—of software code and their corresponding errors. Once identified—such as during an information gathering operation—the error codes may be returned in place of actual outputs of the function during testing, and the downstream processing of the software as a result of the errors may be evaluated. As such, an automatic software testing tool may be implemented that not only identifies functions calls and corresponding errors, but also evaluates performance of the software in view of the various different error types associated with the function calls.

    Software code verification using call graphs for autonomous systems and applications

    公开(公告)号:US12236218B2

    公开(公告)日:2025-02-25

    申请号:US17879447

    申请日:2022-08-02

    Abstract: In various examples, techniques for performing software code verification are described. Systems and methods are disclosed for generating, using intermediate code and user input, a call graph that represents source code for software. For instance, the call graph represents at least functions (e.g., internal functions, external functions, etc.) associated with the software, calls (e.g., direct calls, call pointers, etc.) between the functions, and register information associated with the functions (e.g., variables used by the functions, assembly code used by the functions, etc.). The systems and methods may further use the call graph to perform software code verification by verifying rules from design specifications for the software and/or rules from various certification standards.

    UNIFIED MEMORY SYSTEMS AND METHODS
    5.
    发明申请

    公开(公告)号:US20190266695A1

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

    申请号:US16408173

    申请日:2019-05-09

    Abstract: The present invention facilitates efficient and effective utilization of unified virtual addresses across multiple components. In one embodiment, the presented new approach or solution uses Operating System (OS) allocation on the central processing unit (CPU) combined with graphics processing unit (GPU) driver mappings to provide a unified virtual address (VA) across both GPU and CPU. The new approach helps ensure that a GPU VA pointer does not collide with a CPU pointer provided by OS CPU allocation (e.g., like one returned by “malloc” C runtime API, etc.).

    Unified memory systems and methods

    公开(公告)号:US10319060B2

    公开(公告)日:2019-06-11

    申请号:US14601223

    申请日:2015-01-20

    Abstract: The present invention facilitates efficient and effective utilization of unified virtual addresses across multiple components. In one embodiment, the presented new approach or solution uses Operating System (OS) allocation on the central processing unit (CPU) combined with graphics processing unit (GPU) driver mappings to provide a unified virtual address (VA) across both GPU and CPU. The new approach helps ensure that a GPU VA pointer does not collide with a CPU pointer provided by OS CPU allocation (e.g., like one returned by “malloc” C runtime API, etc.).

    SOFTWARE CODE VERIFICATION USING CALL GRAPHS FOR AUTONOMOUS SYSTEMS AND APPLICATIONS

    公开(公告)号:US20240045662A1

    公开(公告)日:2024-02-08

    申请号:US17879447

    申请日:2022-08-02

    CPC classification number: G06F8/434

    Abstract: In various examples, techniques for performing software code verification are described. Systems and methods are disclosed for generating, using intermediate code and user input, a call graph that represents source code for software. For instance, the call graph represents at least functions (e.g., internal functions, external functions, etc.) associated with the software, calls (e.g., direct calls, call pointers, etc.) between the functions, and register information associated with the functions (e.g., variables used by the functions, assembly code used by the functions, etc.). The systems and methods may further use the call graph to perform software code verification by verifying rules from design specifications for the software and/or rules from various certification standards.

Patent Agency Ranking