A transformation–based method of circuit synthesis is proposed. A correct circuit is synthesized as a description similar to a netlist from a specification program, which is written in an ET program consisting of ET (equivalent transformation) rules. The circuit and the specification (the initial ET program) are equivalent finite state machines. The main part of the synthesis is equivalent tran...