Stempkovsky, A.L.2022-03-022022-03-0219935-201-17335-7https://publica.fraunhofer.de/handle/publica/1298413rd International Design Automation Workshop (Russian Workshop '93). Proceedings