-
公开(公告)号:US09934004B1
公开(公告)日:2018-04-03
申请号:US14230191
申请日:2014-03-31
Applicant: THE MATHWORKS, INC.
Inventor: Aravind Pillarisetti , Peter S. Szpak , Jesung Kim , Xiaocang Lin , Pieter J. Mosterman
CPC classification number: G06F8/30 , G06F8/35 , G06F8/41 , G06F9/45516 , G06F11/362 , G06F11/3664 , G06F11/3676
Abstract: A computer readable medium including executable instructions that when executed perform a method for validating an optimization in generated code using an executable constraints document is provided. The medium can include instructions for relating an assumption to the optimization during code generation. The medium can include instructions for generating the executable constraints document during the code generation, the executable constraints document including information about the relating; and the medium can include instructions for executing the constraints document when the validating is performed, the validating including performing an operation based on a validation result produced by the validating, where the operation includes displaying the validation result to a user, storing the validation result, sending the validation result to a destination, or modifying the generated code.
-
公开(公告)号:US09846571B1
公开(公告)日:2017-12-19
申请号:US14596443
申请日:2015-01-14
Applicant: The MathWorks, Inc.
Inventor: Girish Venkataramani , Yongfeng Gu , Wang Chen
CPC classification number: G06F8/35 , G06F11/3672
Abstract: A device generates a model associated with a multi-rate system. The multi-rate system includes a system associated with a clock rate and a sample rate, and the clock rate is greater than the sample rate. The device identifies the clock rate of the multi-rate system based on the model, and identifies a portion, of the model, associated with the sample rate. The device applies clock rate pipelining to adjust the sample rate associated with the portion of the model so that the sample rate substantially equals the clock rate, and generates code associated with the model and the applied clock rate pipelining.
-
公开(公告)号:US09729843B1
公开(公告)日:2017-08-08
申请号:US13827887
申请日:2013-03-14
Applicant: The MathWorks, Inc.
Inventor: Pieter J. Mosterman , Matthew J. Simoneau , Edward W. Gulley , Jay R. Torgerson , Andrew C. Grace
CPC classification number: H04N9/8715 , G06F17/30817 , G06F17/30846 , G09B5/065 , G09B19/0053
Abstract: A device receives a video file with technical computing environment information, and the video file displays interaction with a technical computing environment. The device plays the video file, and receives the technical computing environment information from the video file when the video file is playing. The device provides the technical computing device information to a local technical computing environment associated with the device.
-
公开(公告)号:US09727446B2
公开(公告)日:2017-08-08
申请号:US13705597
申请日:2012-12-05
Applicant: The MathWorks, Inc.
Inventor: Andrew T. Campbell , David M. Saxe
CPC classification number: G06F11/3672 , G06F11/3664 , G06F11/3688
Abstract: A device receives code generated via a technical computing environment (TCE), the code including a value to be tested, and receives a value modifier, a test case, and a constraint. The value modifier customizes a manner in which the value of the code is presented to the constraint for verification. The device also generates a test based on the value modifier, the test case, and the constraint, performs the test on the value of the code to generate a result, and outputs or stores the result.
-
公开(公告)号:US09710237B1
公开(公告)日:2017-07-18
申请号:US15194120
申请日:2016-06-27
Applicant: The MathWorks, Inc.
Inventor: Girish Venkataramani
IPC: G06F9/44
Abstract: A system and method optimizes hardware description generated from a graphical program or model having oversampling constraints automatically. The system may include a streaming optimizer, a resource sharing optimizer, a delay balancing engine, and a global scheduler. The streaming optimizer may transform vector data paths to scalar or smaller-sized vector data paths. The resource sharing optimizer may replace multiple, functionally equivalent blocks with a single shared block. The delay balancing may insert one or more elements to correct for data path misalignment. The global scheduler may place portions of the program or model into conditional execution sections and create control logic that controls the model sample times or steps that the portions are enabled. A validation model, a report, or hardware description code that utilizes fewer hardware resources may be generated from a modified version of the model that is created.
-
公开(公告)号:US20170154137A1
公开(公告)日:2017-06-01
申请号:US15298019
申请日:2016-10-19
Applicant: The Mathworks, Inc.
Inventor: Mojdeh SHAKERI , Tao Cheng , Robert O. Aberg , Michael D. Tocci , Jamieson M. Cobleigh , Haihua Feng , Kaushik Krishnasamy
IPC: G06F17/50
Abstract: A device may detect a user interaction, via a user interface, with a particular component of a model. The device may generate a set of components, associated with the particular component, based on detecting the user interaction with the particular component of the model. The device may cause a representation of the set of components to be provided, via the user interface, in association with the model. The representation may indicate that the set of components are associated with permitting interoperability.
-
137.
公开(公告)号:US09665471B1
公开(公告)日:2017-05-30
申请号:US14733522
申请日:2015-06-08
Applicant: The MathWorks, Inc.
Inventor: Joseph R. Bienkowski , Claudia G. Wey , Michelle D. Erickson , Benjamin V. Hinkle , Jared D. MacDonald , John E. Booker , Amit Mahajan , Rohit J. Girme
IPC: G06F9/44 , G06F11/36 , G06F3/0484
CPC classification number: G06F11/3664 , G06F3/0484 , G06F11/3604 , G06F11/3668
Abstract: A device may receive an indication to evaluate a first portion of program code and a second portion of program code provided in a first section of a user interface. The device may evaluate the first portion of program code and the second portion of program code. The device may generate a first result corresponding to the first portion of program code and may generate a second result corresponding to the second portion of program code based on evaluating the first portion of program code and the second portion of program code. The device may provide the first result and the second result in a second section of the user interface. The second section may be separate from the first section. The device may provide a correspondence indicator that indicates a correspondence between the first result and the first portion of program code.
-
138.
公开(公告)号:US09645798B1
公开(公告)日:2017-05-09
申请号:US14842400
申请日:2015-09-01
Applicant: The MathWorks, Inc.
Inventor: Joseph R. Bienkowski , Claudia G. Wey , Benjamin V. Hinkle , John E. Booker , Jared D. MacDonald , Michelle D. Erickson
IPC: G06F9/44
Abstract: A device may determine to provide help information associated with a portion of program code included in a program and provided via a user interface of a programming environment. The device may obtain generic help information, associated with the portion of program code, based on determining to provide the help information. The device may determine a set of rules for modifying the generic help information using the portion of program code. The device may analyze the program, using the set of rules, to identify information, included in the program, to be included in modified help information. The device may modify the generic help information, to generate the modified help information, using the information identified based on analyzing the program. The device may provide the modified help information for display via the user interface.
-
公开(公告)号:US09612806B2
公开(公告)日:2017-04-04
申请号:US14475302
申请日:2014-09-02
Applicant: THE MATHWORKS, INC.
Inventor: Mirko Conrad , Xiaocang Lin , Jun Yan , Peter S. Szpak , Appa Rao Nirakh , Jayaprabha Shankar
CPC classification number: G06F8/35 , G06F11/3604
Abstract: In an embodiment, a model is sliced into a plurality of slices. A slice in the plurality of slices is selected. A portion of code, that corresponds to the selected slice, is identified from code generated from the model. The identified code is verified to be equivalent to the selected slice. Equivalence may include equivalent functionality, equivalent data types, equivalent performance, and or other forms of equivalence between the selected slice and the identified generated code.
-
140.
公开(公告)号:US09588744B2
公开(公告)日:2017-03-07
申请号:US14452008
申请日:2014-08-05
Applicant: The MathWorks, Inc.
Inventor: Joseph R. Bienkowski , John E. Booker , Srinath Avadhanula , Vijay Raghavan
Abstract: Exemplary embodiments provide computer-implemented methods, computer-readable media, and systems for changing the identifier associated with an entity, such as a variable or function, in a portion of code. During editing, a reference may be maintained that identifies the location of each instance of the entity in the code. When the identifier associated with one instance of the entity is changed, the change in the identifier may be propagated throughout the code to change each instance of the identifier in the code. The identifier may be changed without interrupting the workflow of the user and without the need to change to a separate refactoring mode. In some embodiments, a syntactical analysis may be performed and some or all instances of the identifier may be changed based on one or more rules.
Abstract translation: 示例性实施例提供计算机实现的方法,计算机可读介质和用于在代码的一部分中改变与诸如变量或功能的实体相关联的标识符的系统。 在编辑期间,可以保留标识代码中实体的每个实例的位置的引用。 当与实体的一个实例相关联的标识符改变时,可以在整个代码中传播标识符的改变以改变代码中的标识符的每个实例。 可以改变标识符而不中断用户的工作流程,而不需要改变为单独的重构模式。 在一些实施例中,可以执行语法分析,并且可以基于一个或多个规则来改变标识符的一些或所有实例。
-
-
-
-
-
-
-
-
-