Модели и алгоритмы автоматизированного проектирования радиоэлектронной и электронно-вычислительной аппаратуры