Abstract: Technology for finite-state machine (FSM) encoding during design synthesis for a circuit is disclosed. The encoding of the FSM may include determining values of a multi-bit state register that are to represent particular states of the FSM. These values may be determined based on possible states of the FSM, possible transitions between the states, probabilities of particular transitions occurring, amounts of false switching associated with particular transitions, area estimates for logic respectively associated with states of the FSM, and/or the like. The values may also be determined based on power considerations, such as estimated power consumption for the circuit. The design synthesis may include generation of a structural description of the encoded FSM.

Abstract: Technology for finite-state machine (FSM) encoding during design synthesis for a circuit is disclosed. The encoding of the FSM may include determining values of a multi-bit state register that are to represent particular states of the FSM. These values may be determined based on possible states of the FSM, possible transitions between the states, probabilities of particular transitions occurring, amounts of false switching associated with particular transitions, area estimates for logic respectively associated with states of the FSM, and/or the like. The values may also be determined based on power considerations, such as estimated power consumption for the circuit. The design synthesis may include generation of a structural description of the encoded FSM.

Abstract: A hybrid analyzer having a data derived primary analyzer and an error correction analyzer connected in parallel is disclosed. The primary analyzer, preferably a data derived linear model such as a partial least squares model, is trained using training data to generate major predictions of defined output variables. The error correction analyzer, preferably a neural network model is trained to capture the residuals between the primary analyzer outputs and the target process variables. The residuals generated by the error correction analyzer is summed with the output of the primary analyzer to compensate for the error residuals of the primary analyzer to arrive at a more accurate overall model of the target process. Additionally, an adaptive filter can be applied to the output of the primary analyzer to further capture the process dynamics. The data derived hybrid analyzer provides a readily adaptable framework to build the process model without requiring up-front knowledge.

Abstract: A hybrid analyzer having a data derived primary analyzer and an error correction analyzer connected in parallel is disclosed. The primary analyzer, preferably a data derived linear model such as a partial least squares model, is trained using training data to generate major predictions of defined output variables. The error correction analyzer, preferably a neural network model is trained to capture the residuals between the primary analyzer outputs and the target process variables. The residuals generated by the error correction analyzer is summed with the output of the primary analyzer to compensate for the error residuals of the primary analyzer to arrive at a more accurate overall model of the target process. Additionally, an adaptive filter can be applied to the output of the primary analyzer to further capture the process dynamics. The data derived hybrid analyzer provides a readily adaptable framework to build the process model without requiring up-front knowledge.

Abstract: A first model or first analyzer having a series of filters is provided to represent time-varying effects of maintenance events. The first model or analyzer further enhances the selection of derived variables which are used as inputs to the first analyzer. Additionally, a combination of fuzzy logic and statistical regression analyzers are provided to better model the equipment and the maintenance process. An optimizer with a bi-modal optimization process which integrates discrete maintenance events with continuous process variables is also provided. The optimizer determines the time and the type of maintenance activities which are to be executed, as well as the extent to which the maintenance activities can be postponed by changing other process variables. Thus, potential modifications to process variables are determined to improve the current performance of the processing equipment as it drifts out of tolerance.

Abstract: A first model or first analyzer having a series of filters is provided to represent time-varying effects of maintenance events. The first model or analyzer further enhances the selection of derived variables which are used as inputs to the first analyzer. Additionally, a combination of fuzzy logic and statistical regression analyzers are provided to better model the equipment and the maintenance process. An optimizer with a bi-modal optimization process which integrates discrete maintenance events with continuous process variables is also provided. The optimizer determines the time and the type of maintenance activities which are to be executed, as well as the extent to which the maintenance activities can be postponed by changing other process variables. Thus, potential modifications to process variables are determined to improve the current performance of the processing equipment as it drifts out of tolerance.

Abstract: A hybrid analyzer having a data derived primary analyzer and an error correction analyzer connected in parallel is disclosed. The primary analyzer, preferably a data derived linear model such as a partial least squares model, is trained using training data to generate major predictions of defined output variables. The error correction analyzer, preferably a neural network model is trained to capture the residuals between the primary analyzer outputs and the target process variables. The residuals generated by the error correction analyzer is summed with the output of the primary analyzer to compensate for the error residuals of the primary analyzer to arrive at a more accurate overall model of the target process. Additionally, an adaptive filter can be applied to the output of the primary analyzer to further capture the process dynamics. The data derived hybrid analyzer provides a readily adaptable framework to build the process model without requiring up-front knowledge.

Abstract: The present invention provides a data selection apparatus which augments a set of training examples with the desired output data. The resulting augmented data set is normalized such that the augmented data values range between -1 and +1 and such that the mean of the augmented data set is zero. The data selection apparatus then groups the augmented and normalized data set into related clusters using a clusterizer. Preferably, the clusterizer is a neural network such as a Kohonen self-organizing map (SOM). The data selection apparatus further applies an extractor to cull a working set of data from the clusterized data set. The present invention thus picks, or filters, a set of data which is more nearly uniformly distributed across the portion of the input space of interest to minimize the maximum absolute error over the entire input space. The output of the data selection apparatus is provided to train the analyzer with important sub-sets of the training data rather than with all available training data.