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

Tomsk State University
Russian Academy of Sciences
National Research Tomsk Polytechnic University

Résultats de recherche: Le chapitre dans un livre, un rapport, une anthologie ou une collection › Contribution à une conférence › Revue par des pairs

1 Citation (Scopus)

Résumé

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.

langue originale	Anglais
titre	Proceedings of 2015 IEEE East-West Design and Test Symposium, EWDTS 2015
Editeur	Institute of Electrical and Electronics Engineers Inc.
ISBN (Electronique)	9781467377751
Les DOIs	https://doi.org/10.1109/EWDTS.2015.7493150
état	Publié - 15 juin 2016
Modification externe	Oui
Evénement	2015 IEEE East-West Design and Test Symposium, EWDTS 2015 - Batumi, Géorgie Durée: 26 sept. 2015 → 29 sept. 2015

Série de publications

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

Une conférence

Une conférence	2015 IEEE East-West Design and Test Symposium, EWDTS 2015
Pays/Territoire	Géorgie
La ville	Batumi
période	26/09/15 → 29/09/15

Accès au document

10.1109/EWDTS.2015.7493150

Contient cette citation

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

Résultats de recherche: Le chapitre dans un livre, un rapport, une anthologie ou une collection › Contribution à une conférence › Revue par des pairs

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

Résumé

Série de publications

Une conférence

Accès au document

Empreinte digitale

Contient cette citation