On using ABC for deriving distinguishing sequences for Verilog-descriptions

Natalia Kushik, Nina Yevtushenko, Stanislav N. Torgaev, Nikita Shatilov

Результат исследований: Материалы для книги/типы отчетовМатериалы для конференции

Fingerprint Подробные сведения о темах исследования «On using ABC for deriving distinguishing sequences for Verilog-descriptions». Вместе они формируют уникальный семантический отпечаток (fingerprint).

Engineering & Materials Science