TY JOUR TI Теоретико-множественная модель тестовой структуры для валидации в кремнии библиотек стандартных цифровых элементов KW СБИС KW библиотека стандартных элементов KW валидация KW тестирование KW теоретико-множественная модель. JO Моделирование систем и процессов AU Ильин, С.А. PY 2025 IS PB Воронежский государственный лесотехнический университет имени Г.Ф. Морозова