Optimizing the scheme of a combined automaton in the ASIC basis

von A. A. Barkalov, L. A. Titarenko, A. V. Baev, A. V. Matvienko
Veröffentlicht 2020

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

von A. A. Barkalov, L. A. Titarenko, A. V. Baev, A. V. Matvienko
Veröffentlicht 2021

Mixed encoding of collections of microoperations for microprogrammed automata

von A. A. Barkalov, L. A. Titarenko, A. V. Baev, A. V. Matvienko
Veröffentlicht 2020

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

von M. S. Lvov, V. S. Peschanenko, A. A. Letichevskij, Ju. G. Tarasich, A. S. Baev
Veröffentlicht 2018