Люлькин А. Е. Функциональная верификация дискретных устройств с использованием логического программирования / А. Е. Люлькин // Управляющие системы и машины. - 2004. - № 2. - С. 38-45. - Библиогр.: 10 назв. - рус.
Описано дискретні пристрої (комбінаційні та послідовнісні схеми) сукупностями предикатів, які дозволяють виконати їх функціональну верифікацію (встановити функціональну відповідність певному вихідному опису функцій або пристрою) засобами логічного програмування. Розглянуто приклади описів на мові логічного програмування ПРОЛОГ.
Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця"