Метод взвешенного ранжирования для решения задач контролепригодного проектирования последовательностных цифровых устройств

Приводятся результаты разработки метода взвешенного ранжирования для решения задачи обеспечения последовательностных цифровых устройств свойствами контролепригодности. Метод ориентирован на технологию сканирования элементов памяти, известную под названием LSSD-технологии, и решает задачи частичного сканирования. Предложенный алгоритм позволяет ранжировать устройства с обратными связями. Веса, поставленные в соответствие каждому ранжируемому элементу памяти, используются для установления факта нарушения условий контролепригодности и нахождения минимизированного набора элементов памяти, которые, будучи преобразованными в сканируемые, сделают устройство контролепригодным.