1. |
Шайна Януш. Януш Проектування цифрових систем з використанням логічного програмування : Автореф. дис... д-ра техн. наук: 05.13.13 / Януш. Януш Шайна; НАН України. Ін-т пробл. моделювання в енергетиці. - К., 1999. - 38 c. - укp.Подано методологію автоматизації проектування і моделювання цифрових систем, що базується на логічному програмуванні. Запропоновано новий оригінальний декларативний метод розпізнавання часових діаграм та метод автоматизації символічного синтезу цифрових систем, описаний за допомогою логічних секвентів. Розглянуто можливість використання логічного програмування для динамічного моделювання із застосуванням баз даних, трансляції опису і автоматизації перетворення логічних виразів. Особливої уваги заслуговує запропонована мова моделювання цифрових систем і процесів ProWave, а також застосування методу для розпізнавання складних часових діаграм. Ця мова знайшла широке застосування у проектуванні цифрових систем високого рівня інтеграції. Індекс рубрикатора НБУВ: З972-02 + З973-047.24
Рубрики:
Шифр НБУВ: РА307494 Пошук видання у каталогах НБУВ
|