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

Prihozhy, A. A.; Karasik, O. N.; Frolov, O. M.; Прихожий, А. А.; Карасик, О. Н.; Фролов, О. М.

A semantic model of computational hardware and software pipelines has been developed. Several relations, graphs and logic inference rules constitute a basis for the construction and high- level synthesis of dataflow pipelines. The behavioral specification pipelining tool is capable of optimizing parallel implementations of logic inference and knowledge dynamic processing algorithms. Разработана семантическая модель вычислительных аппаратных и программных конвейеров. Отношения, графы и правила логического вывода составляют базис построения и высокоуровневого синтеза конвейеров для обработки потоков данных. Отношения и графы представляют конвейер на всех этапах, начиная со спецификации и кончая реализацией. Правила логического вывода представляют процесс трансформации поведенческого описания в структурное описание конвейера. Инструментальная система конвейеризации поведенческих спецификаций обладает возможностями оптимизации параллельных потоковых реализаций алгоритмов логического вывода и динамической обработки знаний.

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

Связанные документы (рекомендация CORE)

Новости проекта

Новости

Партнеры

Индексация