Рассмотрены маршруты синтеза однокристальных вычислительных систем. Выделены
проблемы, возникающие при создании проекта методами нисходящего и системного
проектирования. Предложена технология архитектурно независимого проектирования
вычислительных систем на кристалле. Технология базируется на функционально-потоковом
представлении исходных алгоритмов и их последующем поэтапном преобразовании в описание
проектируемой системы на уровне регистровых передач. Использование при этом методов
формального описания и верификации позволяет разработчикам осуществлять перенос
параллельных высокоуровневых исходных алгоритмов на топологии разрабатываемых
конфигурируемых интегральных схем