On using ABC for deriving distinguishing sequences for Verilog-descriptions

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

doi:10.1109/EWDTS.2015.7493150

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 proceeding › Conference contribution › peer-review

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 language	English
Title of host publication	Proceedings of 2015 IEEE East-West Design and Test Symposium, EWDTS 2015
Publisher	Institute of Electrical and Electronics Engineers Inc.
ISBN (Electronic)	9781467377751
DOIs	https://doi.org/10.1109/EWDTS.2015.7493150
Publication status	Published - 15 Jun 2016
Externally published	Yes
Event	2015 IEEE East-West Design and Test Symposium, EWDTS 2015 - Batumi, Georgia Duration: 26 Sept 2015 → 29 Sept 2015

Publication series

Name	Proceedings of 2015 IEEE East-West Design and Test Symposium, EWDTS 2015

Conference

Conference	2015 IEEE East-West Design and Test Symposium, EWDTS 2015
Country/Territory	Georgia
City	Batumi
Period	26/09/15 → 29/09/15

Access to Document

10.1109/EWDTS.2015.7493150

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 Article 7493150 (Proceedings of 2015 IEEE East-West Design and Test Symposium, EWDTS 2015). Institute of Electrical and Electronics Engineers Inc.. https://doi.org/10.1109/EWDTS.2015.7493150

@inproceedings{47dd2567fa644bc7a01a6ae72d60d6d0,

title = "On using ABC for deriving distinguishing sequences for Verilog-descriptions",

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.",

author = "Natalia Kushik and Nina Yevtushenko and Torgaev, \{Stanislav N.\} and Nikita Shatilov",

note = "Publisher Copyright: {\textcopyright} 2015 IEEE.; 2015 IEEE East-West Design and Test Symposium, EWDTS 2015 ; Conference date: 26-09-2015 Through 29-09-2015",

year = "2016",

month = jun,

day = "15",

doi = "10.1109/EWDTS.2015.7493150",

language = "English",

series = "Proceedings of 2015 IEEE East-West Design and Test Symposium, EWDTS 2015",

publisher = "Institute of Electrical and Electronics Engineers Inc.",

booktitle = "Proceedings of 2015 IEEE East-West Design and Test Symposium, EWDTS 2015",

}

Kushik, N, Yevtushenko, N, Torgaev, SN & 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, Proceedings of 2015 IEEE East-West Design and Test Symposium, EWDTS 2015, Institute of Electrical and Electronics Engineers Inc., 2015 IEEE East-West Design and Test Symposium, EWDTS 2015, Batumi, Georgia, 26/09/15. https://doi.org/10.1109/EWDTS.2015.7493150

On using ABC for deriving distinguishing sequences for Verilog-descriptions. / Kushik, Natalia; Yevtushenko, Nina; Torgaev, Stanislav N. et al.
Proceedings of 2015 IEEE East-West Design and Test Symposium, EWDTS 2015. Institute of Electrical and Electronics Engineers Inc., 2016. 7493150 (Proceedings of 2015 IEEE East-West Design and Test Symposium, EWDTS 2015).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

TY - GEN

T1 - On using ABC for deriving distinguishing sequences for Verilog-descriptions

AU - Kushik, Natalia

AU - Yevtushenko, Nina

AU - Torgaev, Stanislav N.

AU - Shatilov, Nikita

PY - 2016/6/15

Y1 - 2016/6/15

N2 - 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.

AB - 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.

U2 - 10.1109/EWDTS.2015.7493150

DO - 10.1109/EWDTS.2015.7493150

M3 - Conference contribution

AN - SCOPUS:84979255369

T3 - Proceedings of 2015 IEEE East-West Design and Test Symposium, EWDTS 2015

BT - Proceedings of 2015 IEEE East-West Design and Test Symposium, EWDTS 2015

PB - Institute of Electrical and Electronics Engineers Inc.

T2 - 2015 IEEE East-West Design and Test Symposium, EWDTS 2015

Y2 - 26 September 2015 through 29 September 2015

ER -

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

On using ABC for deriving distinguishing sequences for Verilog-descriptions

Abstract

Publication series

Conference

Access to Document

Fingerprint

Cite this