SMS: Автоматизация логического проектирования дискретных систем: сборник научных трудов