| |
Люлькин, А. Е.
Функциональная верификация дискретных устройств с использованием логического программирования [Текст] / А. Е. Люлькин
// Управляющие системы и машины. – 2004. – № 2. – 38-45.
Описаны дискретные устройства совокупностями предикатов, позволяющие выполнить их функциональную верификацию средствами логического программирования |
