RUS  ENG
Полная версия
ЖУРНАЛЫ // Труды института системного программирования РАН // Архив

Труды ИСП РАН, 2015, том 27, выпуск 1, страницы 97–124 (Mi tisp115)

Эта публикация цитируется в 3 статьях

Обзор методов извлечения моделей из HDL-описаний

С. А. Смолов

Институт системного программирования РАН

Аннотация: В статье дается обзор существующих методов извлечения моделей из описаний цифровой аппаратуры, разработанных на языках семейства HDL (Hardware Description Language). Методы извлечения моделей используются для решения многих задач, связанных с процессом проектирования и обеспечения качества программных и аппаратных систем. В данной работе затрагиваются методы решения следующих актуальных задач — оптимизация кода, оптимизация логического синтеза, абстракция, функциональная верификация. В статье рассматриваются методы извлечения таких семейств моделей, как графы потока и зависимостей, а также автоматные модели. Подробно рассматриваются методы построения программных срезов, конечных автоматов и расширенных конечных автоматов.

Ключевые слова: языки описания аппаратуры, извлечение моделей, статический анализ, оптимизация кода, абстракция, логический синтез, функциональная верификация, программные срезы, графы потока, графы зависимостей, конечные автоматы, расширенные конечные автоматы.

DOI: 10.15514/ISPRAS-2015-27(1)-6



Реферативные базы данных:


© МИАН, 2024