Stav dette: Автоматизация проектирования дискретных устройств: междуведомственный тематический научный сборник