Хаханов, В. И.Скворцова, О. Б.Бабич, А. В.2019-09-202019-09-202001Хаханов В. И. Алгоритм построения кубических покрытий для схем с триггерными структурами (модифицированный п-алгоритм) / В. И. Хаханов, О. Б. Скворцова, А. В. Бабич // АСУ и приборы автоматики : всеукр. межвед. науч.-техн. сб. – Х. : Изд-во ХТУРЭ, 2001. – Вып. 115. – С. 119–127.http://openarchive.nure.ua/handle/document/9739Предлагаются методы построения кубических покрытий для структурнофункциональных моделей цифровых устройств. Методы позволяет строить КП и проектировать проверяющие тесты для всех константных неисправностей существенных линий схемы, полученные из системы булевых уравнений. Объект диагностирования – триггерные структуры, представленные в виде схемного и функционального (булевые уравнения в формате BNF, являющегося подмножеством языков VHDL, Verilog) описания. Математический аппарат для представления поведения объекта диагностирования – кубическое исчисление.ruпостроение кубических покрытийтриггерные структурыкубическое исчислениеArticle