Использование ROBDD-графов для тестирования задержек логических схем

Авторы автор Матросова А. Ю. (Сотрудник), автор Андреева В. В. (Сотрудник), автор Тычинский В. З. (Студент), автор Гошин Г. Г. (Сотрудник другой организации)
Тип Статья в журнале
Год 2019
Язык русский
Отдел Институт прикладной математики и компьютерных наук, кафедра компьютерной безопасности (ИПМКН)
Библиографическая запись Матросова А.Ю., Андреева В.В., Тычинский В.З., Гошин Г.Г. Использование ROBDD-графов для тестирования задержек логических схем //Известия вузов. Физика. 2019. Т. 62, № 5. С. 86-94.
Направление науки
УДК 004.312