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