On using ABC for deriving distinguishing sequences for Verilog-descriptions

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

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

Аннотация

In this paper, we discuss how a software ABC can be effectively used to derive distinguishing sequences for Verilog-descriptions. A set of these sequences can serve as a test suite for a digital device that is designed based on the corresponding Verilog-description using the FPGA technology. The paper contains a methodology for such test derivation technique, as well as technical details about the use of the tool and necessary commands. ABC can be easily downloaded from its official web site, and an interested reader can always repeat these experiments or apply this technology for more serious industrial need.

Язык оригиналаАнглийский
Название основной публикацииProceedings of 2015 IEEE East-West Design and Test Symposium, EWDTS 2015
ИздательInstitute of Electrical and Electronics Engineers Inc.
ISBN (электронное издание)9781467377751
DOI
СостояниеОпубликовано - 15 июн 2016
Событие2015 IEEE East-West Design and Test Symposium, EWDTS 2015 - Batumi, Грузия
Продолжительность: 26 сен 201529 сен 2015

Другое

Другое2015 IEEE East-West Design and Test Symposium, EWDTS 2015
СтранаГрузия
ГородBatumi
Период26.9.1529.9.15

ASJC Scopus subject areas

  • Computer Networks and Communications
  • Hardware and Architecture
  • Electrical and Electronic Engineering
  • Safety, Risk, Reliability and Quality

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

  • Цитировать

    Kushik, N., Yevtushenko, N., Torgaev, S. N., & Shatilov, N. (2016). On using ABC for deriving distinguishing sequences for Verilog-descriptions. В Proceedings of 2015 IEEE East-West Design and Test Symposium, EWDTS 2015 [7493150] Institute of Electrical and Electronics Engineers Inc.. https://doi.org/10.1109/EWDTS.2015.7493150