Шайна Я. С. Проектування цифрових систем з використанням логічного програмування

English version

Дисертація на здобуття ступеня доктора наук

Державний реєстраційний номер

0500U000034

Здобувач

Спеціальність

  • 05.13.13 - Обчислювальні машини, системи та мережі

27-01-2000

Спеціалізована вчена рада

Д 26.185.01

Анотація

Проектування і моделювання цифрових систем на базі логічного програмування. Запропоновано новий декларативний метод розпізнавання часових діаграм, метод автоматизації символічного синтезу, мова моделювання ProWave.Впроваджено у промисловість. Сфера використання: цифрове супутникове телебачення.

Схожі дисертації