Публікація: Алгоритм построения кубических покрытий для схем с триггерными структурами (модифицированный п-алгоритм)
Завантаження...
Дата
2001
Назва журналу
ISSN журналу
Назва тома
Видавництво
ХТУРЭ
Анотація
Предлагаются методы построения кубических покрытий для структурнофункциональных моделей цифровых устройств. Методы позволяет строить КП и проектировать проверяющие тесты для всех константных неисправностей существенных линий схемы, полученные из системы булевых уравнений. Объект диагностирования – триггерные структуры, представленные в виде схемного и функционального (булевые уравнения в формате BNF, являющегося подмножеством языков VHDL, Verilog) описания. Математический аппарат для представления поведения объекта диагностирования – кубическое исчисление.
Опис
Ключові слова
построение кубических покрытий, триггерные структуры, кубическое исчисление
Бібліографічний опис
Хаханов В. И. Алгоритм построения кубических покрытий для схем с триггерными структурами (модифицированный п-алгоритм) / В. И. Хаханов, О. Б. Скворцова, А. В. Бабич // АСУ и приборы автоматики : всеукр. межвед. науч.-техн. сб. – Х. : Изд-во ХТУРЭ, 2001. – Вып. 115. – С. 119–127.