公开(公告)号：US10089089B2

公开(公告)日：2018-10-02

申请号：US15170439

申请日：2016-06-01

Applicant: The MathWorks, Inc.

Inventor： Anand Krishnamoorthi ,  Kiran K. Kintali ,  Ebrahim Mehran Mestchian ,  Srinivas Muddana

IPC: G06F9/45 ,  G06F8/51 ,  G06F8/41

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.

公开(公告)号：US09436442B1

公开(公告)日：2016-09-06

申请号：US14097942

申请日：2013-12-05

Applicant: The MathWorks, Inc.

Inventor： Kiran Kintali ,  Anand Krishnamoorthi ,  Srinivas Muddana ,  Richard M. McKeever

IPC: G06F9/44 ,  H03M7/24

CPC classification number: G06F8/35 ,  G06F8/40 ,  H03M7/24 ,  H03M7/28

Abstract: A method and system for enabling a designer to more easily convert a model of a dynamic system instantiated using floating-point representation such as has been created in a high level design language to fixed-point code suitable for execution in a programmable processor or logic array.

Abstract translation: 一种用于使设计者能够更容易地将使用诸如已经以高级设计语言创建的浮点表示实例化的动态系统的模型转换成适于在可编程处理器或逻辑阵列中执行的定点代码的方法和系统 。

公开(公告)号：US09292419B1

公开(公告)日：2016-03-22

申请号：US14290042

申请日：2014-05-29

Applicant: The MathWorks, Inc.

Inventor： Kiran K. Kintali ,  Anand Krishnamoorthi ,  Ebrahim Mestchian ,  Richard M. McKeever

IPC: G06F9/44 ,  G06F11/36

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: 设备接收技术计算环境的代码，并且接收执行代码的条件。 该设备根据条件执行代码的静态分析，以生成代码的静态分析信息，并根据条件在技术计算环境中执行代码。 设备确定与执行代码相关联的覆盖信息，其中覆盖信息提供与执行代码相关联的完整性的度量。 设备比较静态分析信息和覆盖信息以确定与覆盖信息相关联的置信度信息，并输出或存储覆盖信息和置信度信息。