Синтез Клея С Использованием Моделей Высокого Уровня

Abstract

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