Обзор методов извлечения моделей из HDL-описаний
14 сентября 2018
233
Предметная область | — |
Выходные данные | — |
Ключевые слова | — |
Вид публикации | Статья |
Контактные данные автора публикации | С.А. Смолов |
Ссылка на публикацию в интернете | www.ispras.ru/proceedings/docs/2015/27/1/isp_27_2015_1_97.pdf |
Аннотация
В статье дается обзор существующих методов извлечения моделей из описаний цифровой аппаратуры, разработанных на языках семейства HDL (Hardware Description Language). Методы извлечения моделей используются для решения многих задач, связанных с процессом проектирования и обеспечения качества программных и аппаратных систем. В данной работе затрагиваются методы решения следующих актуальных задач – оптимизация кода, оптимизация логического синтеза, абстракция, функциональная верификация. В статье рассматриваются методы извлечения таких семейств моделей, как графы потока и зависимостей, а также автоматные модели. Подробно рассматриваются методы построения программных срезов, конечных автоматов и расширенных конечных автоматов.
ПодробнееДля того чтобы оставить комментарий необходимо авторизоваться.