On using ABC for deriving distinguishing sequences for Verilog-descriptions

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

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract

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.

Original languageEnglish
Title of host publicationProceedings of 2015 IEEE East-West Design and Test Symposium, EWDTS 2015
PublisherInstitute of Electrical and Electronics Engineers Inc.
ISBN (Electronic)9781467377751
DOIs
Publication statusPublished - 15 Jun 2016
Event2015 IEEE East-West Design and Test Symposium, EWDTS 2015 - Batumi, Georgia
Duration: 26 Sep 201529 Sep 2015

Other

Other2015 IEEE East-West Design and Test Symposium, EWDTS 2015
CountryGeorgia
CityBatumi
Period26.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 Dive into the research topics of 'On using ABC for deriving distinguishing sequences for Verilog-descriptions'. Together they form a unique fingerprint.

  • Cite this

    Kushik, N., Yevtushenko, N., Torgaev, S. N., & Shatilov, N. (2016). On using ABC for deriving distinguishing sequences for Verilog-descriptions. In 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