• A
  • A
  • A
  • АБB
  • АБB
  • АБB
  • А
  • А
  • А
  • А
  • А
Обычная версия сайта

Статья

Построение проверяющих тестов дискретных схем на основе непрерывных расширений булевых функций

Кащеев Н. И., Миндров А. Е., Путихин Н. С., Тимофеева О. П.

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