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

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. Разработана семантическая модель вычислительных аппаратных и программных конвейеров. Отношения, графы и правила логического вывода составляют базис построения и высокоуровневого синтеза конвейеров для обработки потоков данных. Отношения и графы представляют конвейер на всех этапах, начиная со спецификации и кончая реализацией. Правила логического вывода представляют процесс трансформации поведенческого описания в структурное описание конвейера. Инструментальная система конвейеризации поведенческих спецификаций обладает возможностями оптимизации параллельных потоковых реализаций алгоритмов логического вывода и динамической обработки знаний