Пакет програм тестування логічних схем має дозволяє виконувати такі дії:
1) розташовувати елементи на сітці;
2) з’єднувати їх лініями зв’язку;
3) встановлювати кількість вхідних сигналів до схеми та їх значення;
4) встановлювати в разі необхідності чи нормальну роботу кожного елементу, чи залипання 1 чи 0;
5) перевіряти схему на правильність;
6) визначати значення сигналів на виходах усіх елементів, що об’єднані лініями зв’язку;
7) виконувати розкладення функції, що реалізується заданою логічною схемою у ряд Ріда-Малера.
Детальний опис програми—див.лабораторну роботу ”Тестування логічних схем за допомогою алгоритму D-кубів”.