Synthesis of sequential circuits by using linearization

The paper deals with synthesis of sequential circuits define d by their al- gorithmic state machine notation. Such circuits have a number of specific properties which enable efficient design of the circuits by utilizing so -called linearization tech- niques. A typical linearization technique includes calcul ation of autocorrelation val- ues for a system of logic functions corresponding to the circ uit. For the mentioned sequential circuits, the calculations which usually requi re massive computational re- courses may be significantly reduced and thus low-overhead i mplementations of the circuits can be obtained relatively easy. The paper introdu ces a novel architecture of so-called linearized sequential circuits, and a piece-wis e linearization approach for synthesis of sequential circuits. Results are evaluated bo th analytically and by using a number of standard benchmarks.