Метод обнаружения неисправности в синхронном устройстве

Предлагается метод построения кратчайшей последовательности, обнаруживающей заданную неисправность в синхронном устройстве. Метод основан на достраивании некоторых конъюнкций, выбираемых из дизъюнктивных нормальных форм (ДНФ), описывающих поведение исправного устройства на входных последовательностях одинаковой длины. Предполагается, что начальные состояния исправного устройства и устройства с заданной неисправностью неизвестны. Выявляются возможности сокращения перебора при поиске последовательностей, обнаруживающих константные неисправности на полюсах элементов устройства. Метод распространяется на случай одинаковых и известных начальных состояний, а также на случай различных и известных начальных состояний исправного устройства и устройства с заданной неисправностью.