Научно-исследовательская работа на кафедре сапр спбгэту «лэти»

наукоёмкость – конвергенция научных достижений и технологических процессов при организации процесса проектирования, в том числе самого комплекса EDA, трансформация знаний в технологии проектирования; учёт когнитивности;

внутренняя интерпретируемость – в описании объекта проектирования (артефакта) вместе с формальной спецификацией объекта должны быть представлены структуры, описывающие преобразования этих спецификаций;

многослойность (иерархичность) – возможность декомпозиции сложных объектов в формальной спецификации на составляющие с установлением связей между ними и наоборот, объединения базовых спецификаций для формирования спецификации на объект проектирования, состоящий из базовых компонент;

связанность – обеспечение учёта и сохранения закономерностей между различными уровнями формальных описаний объекта проектирования и реализуемых на их основе преобразований;

активность – целенаправленное использование заложенных в описание объектов моделей и алгоритмов, обеспечивающих управление информационными процессами при реализации конкретных модулей DDF;

развитие – комплекс EDA должен разрабатываться с учётом возможности добавления новой функциональности, языков формальных спецификаций, ролей и т. п.;

сопряжённость – при проектировании устройств, выполняющих логические операции, необходимо предусмотреть возможность комплексной (совместной) разработки и моделирования как программной, так и аппаратной части изделия. При этом граница между этими компонентами (т. е. принятие решения, какие операции будут реализовываться аппаратно, а какие – программно) должна быть гибкой;

параллелизм – возможность распараллеливания вычислений с целью их распределения между всеми активными участниками процесса проектирования данного объекта (артефакта). Этому особенно способствует тот факт, что цифровые синхронные цепи, наиболее часто используемые и, следовательно, проектируемые в наше время, представляют собой устройства с развитым параллелизмом собственного функционирования, поэтому задачу их моделирования возможно и необходимо распараллелить;