Abstract: A system generates a state diagram model in a graphical modeling system, where the state diagram model includes at least one state. A condition statement is associated with the at least one state, and defines a condition upon which one or more actions associated with the at least one state are executed.

Abstract: An exemplary embodiment may provide tools for creating a graphical user interface (GUI) in a first or original environment and for embedding the GUI in a second or target environment. The GUI created in the first environment may be translated into a platform independent description. A proxy GUI may be generated from the platform independent description and incorporated in the second environment.

Abstract: Exemplary embodiments provide an interactive tool that allows users to design and evaluate storage mechanisms while program code executes. For example, an embodiment uses compact histogram density scales (CHDS's) to display count information for bins making up the storage mechanism (e.g., a register). The user can determine whether counts are within a desirable range, exceeding an overflow threshold, or exceeding an underflow threshold for a bin. Embodiments allow the user to observe overflow/underflow thresholds, signedness, word lengths, fraction lengths, etc., while program code that interacts with the register executes.

Abstract: A mechanism for constructing a software-based instrument panel or front panel in which the components correspond directly with sections of code in a textual language program is disclosed. The textual language program relates to how the panel updates and operates in a continuous fashion. Icons representing panel components are selected from a component library window displayed to a user. The act of dragging the icon representing the components into the Graphical Panel Layout Window automatically causes the corresponding code to be added to the textual language program and displayed to the user in a Program Dialog Window. The present invention displays both a Graphical Panel Layout Window showing the components in the instrument panel and a Program Dialog Window showing the lines of code for the textual language program controlling the operation of the components in the instrument panel. A library containing I/O dialog devices is also presented and displayed to a user.

Abstract: Blocks in a graphical model of a system may be assigned aliases. A user may interact with the aliases. In one implementation, a method may include displaying the alias in a view of the model that does not include the block associated with the alias and modifying, in response to user interaction with the alias, a graphical view of the model or properties of the block associated with the alias.

Abstract: A device receives a program code being created or edited, executes a first portion of the program code to generate a first result, and executes a second portion of the program code to generate a second result. The device stores the first result and the second result, and compares the first result and the second result to determine a difference between the first result and the second result. The device utilizes the difference to identify an error in the program code, and provides information, associated with the difference and the error, for display.

Abstract: A device receives an input associated with a program code being created or edited, and determines whether to perform an evaluation on the program code based on the input. The device waits for another input to be received when the evaluation is not to be performed, and performs the evaluation on the program code to generate a result, when the evaluation is to be performed. The device determines whether to display the result, waits for the other input to be received when the result is not to be displayed, and provides the result for display when the result is to be displayed.

Abstract: An embodiment includes a computer-readable media storing instructions that when executed on processing logic execute a process for reducing complexity. The media stores instructions for identifying data dependencies in a model having executable semantics, the data dependencies affecting verification of the model and for selecting a location in the model, the location having data dependencies with other locations in the model, the location to be verified when the model is verified. The media also stores instructions for detecting complexities in the model, the complexities related to the selected location and presenting information about a source for at least one of the complexities. The media further stores instructions for eliminating the source for the at least one of the complexities and for transforming the model into an updated model based on the eliminating, the updated model not including the source for the at least one of the complexities.

Abstract: A system may receive a model, extract information from the model, form a group of tags using the extracted information, and associate the group of tags with the model. The system may further receive a search query including one or more sequences of characters and determine whether to provide the model in a list of models created for the search query, based on the one or more sequences of characters and the group of tags.

Abstract: In an embodiment, a code generator receives input code having a plurality of functional elements, such as blocks, nodes, statements, commands, etc. The input code processes a data set, such as an image file. The code generator further receives one or more criteria for the generated code. The functional elements of the input code are provided with one or more parameters regarding the block sizes that the respective functional elements can process, such as an available block size and a preferred block size. The code generator queries the functional elements of the input code to obtain their available and preferred block sizes, and builds an intermediate representation (IR) of the input code. The code generator re-organizes and modifies the IR so that it achieves the one or more criteria. Output code that meets the one or more criteria is generated from the reorganized and modified IR.

Abstract: Embodiments relate to a system and method for identifying common patterns of use of resources. The resource usage patterns may be specified using a tree structure, and identifying common resource use patterns may involve identifying isomorphic subtrees between two or more trees. Isomorphic subtree identification may be accomplished by converting trees into key-based representation and analyzing the key-based representation to identify common patterns within the key-based representation.

Abstract: Generating cumulative metric data for a test in a test environment includes: generating in the test environment a test for a simulation model of a system under test; generating in the test environment at least one test condition for the test, the at least one test condition determining a plurality of iterations of the simulation model; generating in the test environment at least one temporary test variable for the test; generating in the test environment at least one mapping between a metric setting for the simulation model and one of the temporary test variables; running in the test environment the test for the plurality of iterations, wherein metric data for the simulation model is generated for each mapping and for each iteration of the test; and accumulating in the test environment the generated metric data for each mapping and for each iteration of the test to obtain cumulative metric data for the simulation model.

Abstract: In an illustrative embodiment, an apparatus, computer-readable medium, or method may be configured to suggest correct identifiers. Expected identifiers may be created and their frequencies of occurrence may be calculated. Unrecognized identifiers may be detected. First numerical scores indicating that the unrecognized identifiers were provided in place of one or more expected identifiers may be calculated. Second numerical scores indicating that the unrecognized identifiers were intended to include expected identifiers may also be calculated. The second numerical scores may be calculated using the first numerical scores and the frequencies of occurrence of the expected identifiers. The system may select one or more expected identifiers based on the second set of numerical scores.

Abstract: A method generates hardware description language (HDL) code from a model having a plurality of components, including at least one component that processes frame-based input data. A selected preference is received for implementing the frame-based component. The generated HDL code includes a hardware implementation of the frame-based component that satisfies the selected preference.

Abstract: A system may identify a workflow associated with a graphical model and execute the workflow in a number of stages. The system may display a number of components of the graphical model and identify which of the displayed components are associated with or affected by execution of a current one of the stages of the workflow.

Abstract: Methods and systems for controlling versions of models in modeling environments are disclosed. The versions of models and component interfaces are stored in a repository and checked in and out of the repository. The version designation of a model is changed when the model is checked in the repository. A selected version of the model is checked out of the repository and loaded directly in a memory so that users may load the selected version of the model without error. The loaded model is displayed with information on the version of the model. The version information may include the version number and author of the version. The version information may also include information on whether the model is locked with a version or in a read only mode.

Abstract: In a computer-implemented method, models are designed with a design tool. A selected construct is determined. A selected computing environment, into which the selected construct is being placed, is identified, the computing environment being selected from at least one textual and at least one graphical computing environments. A template based on the selected computing environment is selected. The selected template is inserted into the selected computing environment.

Abstract: A system facilitates verification of computer code. The system receives multiple versions of the computer code. A code verification engine checks the received code against one or more metrics, such as coding standard violations. A code differencing compares the received versions of computer code, and identifies the differences between them. An interactive presentation unit presents one or more analysis reports regarding coding violations located in the received versions. An analysis report includes a plurality of entries hierarchically organized in conformance with the entities of the received code. The analysis report indicates the number of coding violations identified for the entities of the received code in a side-by-side, comparative arrangement. A user can thus compare the number of coding violations present in the received versions.

Abstract: A computing device-implemented method includes receiving a program, analyzing and transforming the program, determining an inner context and an outer context of the program based on the analysis of the program, and allocating one or more portions of the inner context of the program to two or more labs for parallel execution. The method also includes receiving one or more results associated with the parallel execution of the one or more portions from the two or more labs, and providing the one or more results to the outer context of the program.

Abstract: A software testing tool may use static verification analysis techniques to locate points (lines/events) in computer code at which an error may be present and points (lines/events) in the computer code that may be the underlying cause of the located error points. In one implementation, a device may perform a static verification analysis of computer code to locate a point in the code that causes an error in the execution of the computer code. The static analysis may be performed by analyzing a first set of possible execution paths of the computer code based on an over-approximation of states. The device may back-propagate, from the located point, through a second set of possible execution paths, where the second set of possible execution paths is obtained based on an under-approximation of the states that were over-approximated. Based on the back-propagation, the device may determine potential causes of the error.