Применение Event-B для создания систем на программируемой логике
Переглянути
Дата
2009Автор
Прохорова, Ю.Н.
Остроумов, С.Б.
Трубицына, Е.А.
Лайбнис, Л.В.
Metadata
Показати повний опис матеріалуКороткий опис(реферат)
Приведены особенности создания формальной спецификации систем на программируемой логике. Рассмотрены примеры описания таких систем в Event-B. Предложены элементы методики формального
описания и трансляции полученной спецификации в код на языке описания аппаратуры VHDL. Наведено особливості створення формальної специфікації систем на програмованій логіці. Розглянуто приклади опису таких систем у Event-B. Запропоновано елементи методики формального опису та трансляції отриманої специфікації в код мовою опису апаратури VHDL.