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