State machine optimization

This circuit can then be optimized by the usual suite of logic and state machine optimization and synthesis tools. 

Each model s core is the hybrid system model, imaging the failure-free system architecture with the use of Reliability Block Diagrams and the system behavior and interactions of the components with the use of Concurrent Finite State Machines. Based on this hybrid system model, the article on hand presents an optimization environment considering system reliability, residual reliabdities and additional static parameters for different system states. The optimization process is demonstrated using a generic electrical power supply system based on a single-aisle twin-jet commercial aircraft. 

K. Ranerup and L. Philipson. Optimization of finite state machines using subroutines. Technical report, Department of Computer Engineering, Lund University, Sweden, 1989. 

Applies transformations to the control step schedule to remove dummy states, and allocates control registers, interface logic, and a finite state machine to build the controller. Optimizations are then applied to reduce the. size of the finite state machine, and to simplify the wiring between the controller and the data path. 

Group finite state machines and optimize them separately. State machine extraction and optimization process is more effective when the fsm is isolated. The group -fsm command can be used to achieve this. 

Altmiative strategies to describe the control logic exists. Figure 7 serves to illustrate two possible control styles. For example, a finite state machine can be generated where the control signals correspond to the ouq>ut of the FSM. The conbol can be further optimized by a technique based on resynchronization of operations that can be applied to minimize the area of the control implementation, while still satisfying the timing constraints [8]. 

Tiziano Villa and Alberto Sangiovanni-Vincentelli. Algwithms for slate assignment of finite-state machines for optimal two-level implementations. In Proceedings, International Workshop on Logic Synthesis. MCNC, May 1989. 

Boolean logic is fairly easy to optimize, and most synthesizers perform close to optimal. Knowledge of the imderlying technology strongly afiects the optimization (e.g. whether or not four-input gates are available). State-machines are equally well optimized. 

Relative control optimization by resynchronization. The control circuit resulting om control synthesis can be optimized further to reduce its size, with the requirement that the optimized hardware is still a valid implementation of its behavioral model. Most approaches to control optimization use a finite state machine model, where operations are bound to control slates. Howevo, when synthesizing circuits from a higher, more abstract level of hardware specification that supports concurrency, synchronization, and timing constraints, these approaches may be overly restrictive. 

Heywood has stated that any type of crushing or grinding machine exhibits optimal comminution conditions for which the ratio of the energy to new surface is minimal. If finer grinding is attempted in such a machine, the ratio is increased. Mills may thus become grossly inefficient if called upon to grind at a size for... 

---