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