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