Подано методологію автоматизації проектування і моделювання цифрових систем, що базується на логічному програмуванні. Запропоновано новий оригінальний декларативний метод розпізнавання часових діаграм та метод автоматизації символічного синтезу цифрових систем, описаний за допомогою логічних секвентів. Розглянуто можливість використання логічного програмування для динамічного моделювання із застосуванням баз даних, трансляції опису і автоматизації перетворення логічних виразів. Особливої уваги заслуговує запропонована мова моделювання цифрових систем і процесів ProWave, а також застосування методу для розпізнавання складних часових діаграм. Ця мова знайшла широке застосування у проектуванні цифрових систем високого рівня інтеграції.

 Автореферати дисертацій 

---

  Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця"