По вашему запросу найдено документов: 1320
Страница 1 из 132
Троичное моделирование комбинационных схем с использованием ROBDD. Предлагается решение, основанное на представлении булевой функции ROBDD графом. Оно позволяет
О свойствах ROBDD-графов, представляющих тестовые пары для робастно тестируемых неисправностей задержек путейО свойствах ROBDD-графов, представляющих тестовые пары для робастно тестируемых неисправностей
Поиск ложных путей в последовательностных схемах с использованием ROBDDПоиск ложных путей в последовательностных схемах с использованием ROBDD
ROBDD based path delay fault testable combinational circuit synthesisROBDD based path delay fault testable combinational circuit synthesis
ROBDDS application for finding the shortest transfer sequence of sequential circuit or only revealing existence of this sequence without deriving the sequence itselfROBDDS application for finding the shortest transfer sequence of sequential circuit or only
Finding false paths for sequential circuits using operations on ROBDDsFinding false paths for sequential circuits using operations on ROBDDs
Тестирование кратных неисправностей в схемах, полученных покрытием вершин ROBDD-графов Invert-AND-XOR подсхемамиТестирование кратных неисправностей в схемах, полученных покрытием вершин ROBDD-графов Invert
Построение кратчайшей установочной последовательности последовательностной схемы с использованием ROBDD ROBDD
Алгоритмы построения последовательности, доставляющей тестовые пары для робастно тестируемых PDFs с использованием операций над ROBDD-графами использованием операций над ROBDD-графами
Алгоритм построения ROBDD-графа, представляющего множество всех достижимых реакций комбинационной логической схемыАлгоритм построения ROBDD-графа, представляющего множество всех достижимых реакций комбинационной
Страница 1 из 132
Фасеты
Партнеры
Индексация
