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