Krivulia, G. F.; Syrevich Е. Е.; Karasiov, A. P. NETLIST ANALYSIS IN LOGICAL SYNTHESIS SYSTEMS. RIC 2011.