System And Method For Adapting A Neural Network Model On A Hardware Platform

Patent No. US11610117 (titled "System And Method For Adapting A Neural Network Model On A Hardware Platform") was filed by Tesla Inc on Dec 27, 2019.

What is this patent about?

’117 is related to the field of machine learning, specifically the adaptation and configuration of neural networks for deployment on various hardware platforms. The background acknowledges the increasing reliance on neural networks for tasks like image labeling and the challenges of implementing them on diverse platforms with varying resource constraints. Existing manual methods for configuring neural networks are time-consuming and require deep expertise, especially when considering the numerous decision points and constraints involved.

The underlying idea behind ’117 is to automate the process of adapting a neural network to a specific hardware platform by formulating the configuration problem as a constraint satisfaction problem . This involves identifying key decision points within the neural network architecture, such as data layout and algorithm selection, and then defining constraints based on the target hardware's capabilities and performance requirements. A satisfiability solver is then used to find a valid configuration that meets all the specified constraints.

The claims of ’117 focus on a method, system, and storage medium for adapting a neural network model to a hardware platform. The core steps involve obtaining neural network model information with decision points (including layout), accessing hardware platform information, determining constraints based on platform resources and performance metrics, and generating a candidate configuration using a satisfiability solver . The claims further specify updating the constraints to exclude the initial candidate configuration and generating additional configurations based on these updated constraints.

In practice, the system first analyzes the neural network model to identify configuration variables at each layer, such as the data type, layout, and algorithm to use. It then gathers information about the target hardware platform, including its processing capabilities, memory limitations, and supported instruction sets. Based on this information, the system defines constraints that must be satisfied for the neural network to run efficiently and correctly on the hardware. The satisfiability solver then explores the space of possible configurations, guided by these constraints, to find a valid solution.

’117 differentiates itself from prior approaches by automating the configuration process using a constraint satisfaction solver. Instead of relying on manual exploration and expert knowledge, the system systematically searches for valid configurations that meet the specific requirements of the hardware platform. By iteratively generating and excluding candidate configurations, the system can explore a wider range of options and potentially find more optimized configurations that maximize performance and resource utilization. This approach addresses the complexity of neural network deployment and reduces the burden on developers.

How does this patent fit in bigger picture?

Technical landscape at the time

In the late 2010s when ’117 was filed, neural networks were being deployed across a wide range of platforms, at a time when developers commonly faced challenges in adapting models to specific hardware constraints. Satisfying performance metrics such as processing resource usage and evaluation time was typically non-trivial, requiring manual exploration of numerous configuration options and deep understanding of both the neural network architecture and the target platform's capabilities.

Novelty and Inventive Step

The examiner allowed the claims because the prior art failed to teach or disclose obtaining neural network model information comprising a plurality of decision points associated with a neural network, wherein one or more first decision points are associated with a layout of the neural network; accessing platform information associated with a hardware platform for which the neural network model information is to be adapted; determining, based on the platform information, constraints associated with adapting the neural network model information to the hardware platform, wherein a first constraint is associated with a processing resource of the hardware platform and wherein a second constraint is associated with a performance metric; and generating a candidate configuration for the neural network via execution of a satisfiability solver based on the constraints, wherein the candidate configuration assigns values to the plurality of decision points, wherein the determined constraints are updated to include the candidate configuration as a negation, and wherein one or more other candidate configurations are generated based on the updated constraints, as claimed.

Claims

This patent contains 19 claims, of which claims 1, 11, and 17 are independent. The independent claims are directed to a method, a system, and a non-transitory computer storage medium, respectively, all generally focused on adapting neural network model information to a hardware platform using a satisfiability solver. The dependent claims generally elaborate on specific aspects, features, and functionalities of the method, system, or storage medium described in the independent claims.

Key Claim Terms New

Definitions of key terms used in the patent claims.

Term (Source)Support for SpecificationInterpretation
Candidate configuration
(Claim 1, Claim 11, Claim 17)
“One embodiment of a system and method includes: using a constraint satisfaction method to determine a set of candidate configurations, based on a neural network (e.g., a representation thereof), a set of possible choices at each decision point, and a set of constraints (e.g., for a platform, the network, the use case, user-imposed, etc.).”A possible set of values assigned to the decision points of the neural network, representing a potential configuration.
Hardware platform
(Claim 1, Claim 11, Claim 17)
“In an embodiment, techniques, systems, and methods, are described to determine a neural network configuration which is adapted to a specific platform. An example platform may represent a processing architecture, an amount of memory, and so on as described herein. Additionally, a platform may represent a particular cloud or virtual machine architecture or instance. It may be appreciated that different platforms may complicate the implementation of a neural network.”The specific hardware environment for which the neural network is being configured.
Neural network model information
(Claim 1, Claim 11, Claim 17)
“One embodiment of a system and method includes: using a constraint satisfaction method to determine a set of candidate configurations, based on a neural network (e.g., a representation thereof), a set of possible choices at each decision point, and a set of constraints (e.g., for a platform, the network, the use case, user-imposed, etc.).”Data describing a neural network, used as input to the adaptation process.
Plurality of decision points
(Claim 1, Claim 11, Claim 17)
“In variants, the system and method for model adaption and configuration can include: traversing the neural network to identify one or more decision points, each represented by a “configuration variable” requiring a valid value; identifying one or more constraints between/among variables specified by the hardware platform for each of the variables of the decision points; identifying one or more model constraints specified by the hardware platform for the neural network model; identifying one or more performance constraints for operating the neural network model on the hardware platform; executing a satisfiability modulo theories (SMT) solver for the neural network model, wherein the variable constraints, model constraints, and performance constraints are inputs for the SMT solver; receiving one or more candidate configurations from the SMT solver; for each of the received candidate configurations, determining that the candidate configuration is satisfiable; and determining a configuration from a number of received candidate configurations that satisfies target performance metrics.”Multiple points in the neural network configuration process where a choice must be made from multiple options.
Satisfiability solver
(Claim 1, Claim 11, Claim 17)
“As will be described, satisfiability techniques (e.g., constraint satisfaction techniques) may be used to determine a configuration of a neural network based on received input information associated with a hardware or software platform. Example input information may include different configurations, decision points, platform information, and so on. Advantageously, example solvers may be employed to rapidly determine the configuration of the current platform. An example solver may be a satisfiability modulo theories (SMT) solver.”A tool used to find a valid configuration that satisfies all constraints.

Litigation Cases New

US Latest litigation cases involving this patent.

Case NumberFiling DateTitle
2:25-cv-00742Jul 23, 2025Perceptive Automata Llc V. Tesla, Inc.

Patent Family

Patent Family

File Wrapper

The dossier documents provide a comprehensive record of the patent's prosecution history - including filings, correspondence, and decisions made by patent offices - and are crucial for understanding the patent's legal journey and any challenges it may have faced during examination.

  • Date

    Description

  • Get instant alerts for new documents

US11610117

TESLA INC
Application Number
US16728884
Filing Date
Dec 27, 2019
Status
Granted
Expiry Date
Mar 1, 2041
External Links
Slate, USPTO, Google Patents