Open Science Harvester of NAS of Ukraine

Joint using methods of structural decomposition for optimizing circuit of Moore FSM

by A. A. Barkalov, L. A. Titarenko, A. V. Baev, A. V. Matvienko
Published 2021

Mixed encoding of collections of microoperations for microprogrammed automata

by A. A. Barkalov, L. A. Titarenko, A. V. Baev, A. V. Matvienko
Published 2020

Optimizing the scheme of a combined automaton in the ASIC basis

by A. A. Barkalov, L. A. Titarenko, A. V. Baev, A. V. Matvienko
Published 2020

Algorithm and tools for constructing canonical forms of linear semi-algebraic formulas

by M. S. Lvov, V. S. Peschanenko, A. A. Letichevskij, Ju. G. Tarasich, A. S. Baev
Published 2018