Machine generated authority record.
Work cat.: (RU-ToGU): Gromov, Maxim L. 104029, FSM-based sequential circuits optimization by changing initial state of specification