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

    Fingerprint

ASJC Scopus subject areas

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

Цитировать

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