Применение Event-B для создания систем на программируемой логике

Abstract

Приведены особенности создания формальной спецификации систем на программируемой логике. Рассмотрены примеры описания таких систем в Event-B. Предложены элементы методики формального описания и трансляции полученной спецификации в код на языке описания аппаратуры VHDL.

Наведено особливості створення формальної специфікації систем на програмованій логіці. Розглянуто приклади опису таких систем у Event-B. Запропоновано елементи методики формального опису та трансляції отриманої специфікації в код мовою опису апаратури VHDL.