У магістерській роботі розглядаються питання, пов'язані зі створенням моделей, методів аналізу несправностей комп’ютерних систем. Мета дослідження – зменшення часу проектування дедуктивних формул для транспортування списків несправностей через логічні елементи та схеми RTL-рівня за рахунок використання паралельних регістрових процедур аналізу векторних структур даних.