6. ЛАБОРАТОРНАЯ РАБОТА № 6. Построение проверяющего теста для двухуровневой схемы из элементов И-НЕ.
Цель работы: изучение методов анализа комбинационных схем и особенностей проявления неисправностей в двухуровневой схеме из элементов И-НЕ.
6.1. Теоретические сведения
В двухуровневой схеме из элементов И-НЕ при константных неисправностях типа ≡0 и ≡1 возможны расширения интервалов по внешним переменным или их исчезновения. Отметим, что возможны одновременные расширения и исчезновения различных интервалов.
Проверяющий тест для неисправностей типа ≡0 и ≡1 на полюсах элементов двухуровневой схемы из элементов И-НЕ строится по следующему алгоритму:
1) выбирается совокупность наборов множества М0 возможно меньшей мощности, проверяющая на расширения все интервалы по всем их внешним переменным;
2) для каждого интервала покрытия выбирается один его элемент, не покрытый другими интервалами.
Содержание лабораторной работы составляет изучение особенностей проявления неисправностей в двухуровневой схеме из элементов И-НЕ и алгоритма построения проверяющего теста схемы по представлению на матричной форме интервального покрытия функции, обеспечение его полноты и минимальности. Решение этих задач выполняется в процессе диалога с обучающей системой.