Finding false paths for sequential circuits using operations on ROBDDs

Matrosova, Anjela Yu.; Ostanin, Sergey A.; Chernyshov, Semen V.

Finding false paths for sequential circuits using operations on ROBDDs

Matrosova, Anjela Yu., Ostanin, Sergey A., Chernyshov, Semen V.

Дата публикации: 2018

Дата публикации в реестре: 2020-03-03T19:30:00Z

Аннотация:

Ключевые слова:
ROBDD-графы, последовательностные схемы, неисправности задержек путей, ложные пути

Тип: статьи в сборниках

Источник: 2018 IEEE 24th International Symposium on On-Line Testing and Robust System Design (IOLTS 2018), 2-4 July 2018, Spain. [S. l.], 2018. P. 240-242

Finding false paths for sequential circuits using operations on ROBDDs

Связанные документы (рекомендация CORE)

Новости проекта

Новости

Партнеры

Индексация