Automatický návrh logických kombinačných obvodov TONT - Figura, Miroslav, 1985- (STU v Bratislave FIIT, 2010)