-
1.发明授权公开(公告)号：US10168990B1
公开(公告)日：2019-01-01
申请号：US14157821
申请日：2014-01-17
Applicant: The MathWorks, Inc.
Inventor： Muthiah Annamalai , Kiran K. Kintali , Srinivas Muddana
Abstract: A device may receive a floating-point function. The floating-point function may be a function described in a programming language that uses floating-point representation. The device may determine that fixed-point program code, associated with the floating-point function, is to be generated. The device may determine that the floating-point function is to be replaced with a replacement construct before the fixed-point program code is generated. The replacement construct may be described in the programming language and may be capable of conversion from the floating-point representation to a fixed-point representation. The device may determine parameters associated with generating the replacement construct. The parameters may be determined based on an evaluation of the floating-point function. The device may generate the replacement construct based on the parameters. The device may replace the floating-point function with the replacement construct. The device may generate the fixed-point program code based on the replacement construct.
-
公开(公告)号：US09292419B1
公开(公告)日：2016-03-22
申请号：US14290042
申请日：2014-05-29
Applicant: The MathWorks, Inc.
Inventor： Kiran K. Kintali , Anand Krishnamoorthi , Ebrahim Mestchian , Richard M. McKeever
CPC classification number: G06F11/3676 , G06F8/75 , G06F11/3608
Abstract: A device receives code for a technical computing environment, and receives conditions for executing the code. The device performs a static analysis of the code, based on the conditions, to generate static analysis information for the code, and executes the code in the technical computing environment based on the conditions. The device determines coverage information associated with the executing code, where the coverage information provides a measure of completeness associated with the executing code. The device compares the static analysis information and the coverage information to determine confidence information associated with the coverage information, and outputs or stores the coverage information and the confidence information.
Abstract translation: 设备接收技术计算环境的代码，并且接收执行代码的条件。 该设备根据条件执行代码的静态分析，以生成代码的静态分析信息，并根据条件在技术计算环境中执行代码。 设备确定与执行代码相关联的覆盖信息，其中覆盖信息提供与执行代码相关联的完整性的度量。 设备比较静态分析信息和覆盖信息以确定与覆盖信息相关联的置信度信息，并输出或存储覆盖信息和置信度信息。
-
公开(公告)号：US10089089B2
公开(公告)日：2018-10-02
申请号：US15170439
申请日：2016-06-01
Applicant: The MathWorks, Inc.
Inventor： Anand Krishnamoorthi , Kiran K. Kintali , Ebrahim Mehran Mestchian , Srinivas Muddana
Abstract: A device may receive input code that includes one or more input objects. The input code may be used in connection with generation of output code. The output code, when generated, may include one or more output objects, corresponding to and different than the one or more input objects. The device may receive or determine conversion information identifying a conversion operation to perform to generate the one or more output objects based on the one or more input objects. The conversion information may be received separately from the input code. The device may generate, based on the conversion information and the input code, an intermediate representation. The intermediate representation may include one or more annotations corresponding to the one or more input objects and defining the conversion operation. The device may compile, based on the intermediate representation, the output code. The device may execute or provide the output code.
-
4.发明申请公开(公告)号：US20170351493A1
公开(公告)日：2017-12-07
申请号：US15398176
申请日：2017-01-04
Applicant: The MathWorks, Inc.
Inventor： Kiran K. Kintali , Shomit Dutta , Anand S. Krishnamoorthi , Ebrahim Mehran Mestchian
IPC: G06F9/44
CPC classification number: G06F8/35 , G06F7/483 , G06F8/20 , G06F17/5027 , G06F17/5054 , G06F2207/3824 , H03M7/24 , H03M7/28
Abstract: Systems and methods generate code from an executable model. The model may operate on variables having floating point data types. The systems and methods may unpack the sign, exponent, and mantissa components of the floating point variables, and interpret them as boolean, integer, or fixed-point data types. The systems and methods may include operators that operate on the extracted sign, exponent, and mantissa components, and that produce sign, exponent, and mantissa outputs having boolean, integer or fixed-point data types. The systems and methods may pack the sign, exponent, and mantissa components of the output into an integer and reinterpret the integer as a floating point data type. Having replaced the floating point data types with boolean, integer or fixed-point data types, the generated code may be suitable for programmable logic devices and/or microcontrollers that lack Floating Point Units (FPUs).
-
公开(公告)号：US20190332732A1
公开(公告)日：2019-10-31
申请号：US16409165
申请日：2019-05-10
Applicant: The MathWorks, Inc.
Inventor： Kiran K. Kintali , Shomit Dutta , E. Mehran Mestchian , Pieter J. Mosterman
Abstract: Systems and methods evaluate simulation models and measure floating point arithmetic errors in terms of Unit in Last Place (ULP). The simulation model may include model elements that perform numerical computations using Native Floating Point (NFP) arithmetic. The model elements may be arranged to implement a procedure. A data store may include local ULP errors predetermined for the model elements. The systems and methods may retrieve the local ULP errors for the model elements included in the model, and may apply a rules-based analysis to compute an overall ULP error of the simulation model. The systems and methods may present the overall ULP computed for the model. The systems and methods may also present intermediate ULP errors determined for portions of the simulation model. Changes may be made to the model to reduce the overall ULP error.
-
Patent Agency Ranking
公开(公告)号：US10140099B2
公开(公告)日：2018-11-27
申请号：US15398176
申请日：2017-01-04
Applicant: The MathWorks, Inc.
Inventor： Kiran K. Kintali , Shomit Dutta , Anand S. Krishnamoorthi , Ebrahim Mehran Mestchian
Abstract: Systems and methods generate code from an executable model. The model may operate on variables having floating point data types. The systems and methods may unpack the sign, exponent, and mantissa components of the floating point variables, and interpret them as boolean, integer, or fixed-point data types. The systems and methods may include operators that operate on the extracted sign, exponent, and mantissa components, and that produce sign, exponent, and mantissa outputs having boolean, integer or fixed-point data types. The systems and methods may pack the sign, exponent, and mantissa components of the output into an integer and reinterpret the integer as a floating point data type. Having replaced the floating point data types with boolean, integer or fixed-point data types, the generated code may be suitable for programmable logic devices and/or microcontrollers that lack Floating Point Units (FPUs).
-
公开(公告)号：US11354463B1
公开(公告)日：2022-06-07
申请号：US16580048
申请日：2019-09-24
Applicant: The MathWorks, Inc.
Inventor： Mohamed Babaali , Wurigen Bo , Kiran K. Kintali , Shomit Dutta , Ebrahim M. Mestchian , Naman Saraf
IPC: G06F30/20 , G06F8/35 , G06F17/16 , G06F17/13 , G06F111/10
Abstract: A solver may generate a system of equations for an acausal model. A partitioning engine may transform at least some of the equations into groups of equations whose inputs/outputs are connected directly. The partitioning engine may transform at least some of the equations into groups of linear equations and/or groups of switched linear equations that are connected through nonlinear functions. The solver may determine input-output relationships of the groups of equations. A simulation model generator that may include a library of types of model elements may construct a causal simulation model.
-
公开(公告)号：US10936769B2
公开(公告)日：2021-03-02
申请号：US16409165
申请日：2019-05-10
Applicant: The MathWorks, Inc.
Inventor： Kiran K. Kintali , Shomit Dutta , E. Mehran Mestchian , Pieter J. Mosterman
Abstract: Systems and methods evaluate simulation models and measure floating point arithmetic errors in terms of Unit in Last Place (ULP). The simulation model may include model elements that perform numerical computations using Native Floating Point (NFP) arithmetic. The model elements may be arranged to implement a procedure. A data store may include local ULP errors predetermined for the model elements. The systems and methods may retrieve the local ULP errors for the model elements included in the model, and may apply a rules-based analysis to compute an overall ULP error of the simulation model. The systems and methods may present the overall ULP computed for the model. The systems and methods may also present intermediate ULP errors determined for portions of the simulation model. Changes may be made to the model to reduce the overall ULP error.
-
公开(公告)号：US20160357534A1
公开(公告)日：2016-12-08
申请号：US15170439
申请日：2016-06-01
Applicant: The MathWorks, Inc.
Inventor： Anand KRISHNAMOORTHI , Kiran K. Kintali , Ebrahim Mehran Mestchian , Srinivas Muddana
IPC: G06F9/45
Abstract: A device may receive input code that includes one or more input objects. The input code may be used in connection with generation of output code. The output code, when generated, may include one or more output objects, corresponding to and different than the one or more input objects. The device may receive or determine conversion information identifying a conversion operation to perform to generate the one or more output objects based on the one or more input objects. The conversion information may be received separately from the input code. The device may generate, based on the conversion information and the input code, an intermediate representation. The intermediate representation may include one or more annotations corresponding to the one or more input objects and defining the conversion operation. The device may compile, based on the intermediate representation, the output code. The device may execute or provide the output code.
Abstract translation: 设备可以接收包括一个或多个输入对象的输入代码。 输入代码可以与生成输出代码一起使用。 输出代码在生成时可以包括与一个或多个输入对象相对应且不同于一个或多个输入对象的一个或多个输出对象。 所述设备可以接收或确定标识转换操作的转换信息，以执行以基于所述一个或多个输入对象生成所述一个或多个输出对象。 转换信息可以与输入代码分离地接收。 设备可以基于转换信息和输入代码生成中间表示。 中间表示可以包括对应于一个或多个输入对象的一个或多个注释并且定义转换操作。 该设备可以基于中间表示来编译输出代码。 该设备可以执行或提供输出代码。
-
公开(公告)号：US20190095303A1
公开(公告)日：2019-03-28
申请号：US16198299
申请日：2018-11-21
Applicant: The MathWorks, Inc.
Inventor： Kiran K. Kintali , Shomit Dutta , E. Mehran Mestchian , Pieter J. Mosterman
Abstract: Systems and methods evaluate simulation models and measure floating point arithmetic errors in terms of Unit in Last Place (ULP). The simulation model may include model elements that perform numerical computations using Native Floating Point (NFP) arithmetic. The model elements may be arranged to implement a procedure. A data store may include local ULP errors predetermined for the model elements. The systems and methods may retrieve the local ULP errors for the model elements included in the model, and may apply a rules-based analysis to compute an overall ULP error of the simulation model. The systems and methods may present the overall ULP computed for the model. The systems and methods may also present intermediate ULP errors determined for portions of the simulation model. Changes may be made to the model to reduce the overall ULP error.
-
-
-
-
-
-
-
-
-
Search Results
12
records
(took 0.015 seconds)
