On using ABC for deriving distinguishing sequences for Verilog-descriptions; East-West Design and Test Symposium (EWDTS), 2015 IEEE

On using ABC for deriving distinguishing sequences for Verilog-descriptions

Bibliografiske detaljer
Parent link:	East-West Design and Test Symposium (EWDTS), 2015 IEEE.— 2016.— [4 р.]
Institution som forfatter:	Национальный исследовательский Томский политехнический университет (ТПУ) Институт неразрушающего контроля (ИНК) Кафедра промышленной и медицинской электроники (ПМЭ)
Andre forfattere:	Kushik N. G. Nataljya Gennadjevna, Evtushenko N. V. Nina Vladimirovna, Torgaev S. N. Stanislav Nikolaevich, Shatilov N. P. Nikita Petrovich
Summary:	Title screen 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. Режим доступа: по договору с организацией-держателем ресурса
Sprog:	engelsk
Udgivet:	2016
Fag:	электронный ресурс труды учёных ТПУ
Online adgang:	http://dx.doi.org/10.1109/EWDTS.2015.7493150
Format:	Electronisk Bog
KOHA link:	https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=651219

Lignende værker

SystemVerilog For Design. A Guide to Using System Verilog for Hardware Design and Modeling
af: Sutherland S. Stuart
Udgivet: (New York, Springer, 2006)

Evaluation of Code-Word Subsets to Ensure the Self-Testing Property of a Checker; East-West Design and Test Symposium (EWDTS), 2018 IEEE
af: Butorina N. B. Nataljya Borisovna
Udgivet: (2018)

Distinguishing features and constraints of ambient media technologies; Journal of Economics and Social Sciences; № 5
af: Lyubavina A. G.
Udgivet: (2014)

Практикум по проектированию на языках VerilogHDL и SystemVerilog учебное пособие для вузов
af: Мурсаев А. Х.
Udgivet: (Санкт-Петербург, Лань, 2025)

Interpreting Historical Sequences Using Economic Models War, Secession and Tranquility /
af: Hallwood, Paul
Udgivet: (2020)

The abcs of simultaneous interpreting
af: Караваева Н. А.
Udgivet: (Воронеж, ВГУ, 2016)

MICASE - description and use in the language learning process; Лингвистические и культурологические традиции и инновации
af: Демидова О. М. Ольга Михайловна
Udgivet: (2019)

Limits of Sequences and Functions: textbook
af: Konev V. V. Valeriy Vasilevich
Udgivet: (Tomsk, TPU Publishing House, 2020)

Язык Verilog для программирования ПЛИС учебное пособие
af: Лютов А. Г.
Udgivet: (Москва, РТУ МИРЭА, 2023)

Nanopore Sequencing Methods and Protocols /
Udgivet: (2023)

ABC of Common Grammatical Errors
af: Turton N. D. Nigel
Udgivet: (Oxford, Macmillan, 1995)

De-Sequencing Identity Work with Genes /
Udgivet: (2020)

Protein Sequencing Protocols
Udgivet: (2003)

PCR Sequencing Protocols
Udgivet: (1996)

DNA Sequencing Protocols
Udgivet: (2001)

Protein Sequencing Protocols
Udgivet: (1997)

DNA Sequencing Protocols
af: Griffin, Annette M., et al.
Udgivet: (1993)

Limits of Sequences and Functions
af: Konev V. V. Valery V.
Udgivet: (Tomsk, TPU Press, 2009)

Business process description using BPMN and BPEL4People; Modern technique and technologies MTT' 2009
af: Nguyen Hoang Trinh
Udgivet: (2009)

Brockhaus ABC Chemie: in zwei Banden; Bd. ! : A-K
Udgivet: (Leipzig, Veb F. A. Brockhaus Verlag, 1965)

Automatic derivation of kinematic equations for robotic manipulators on the bases of formalized description of their kinematic chains; The 9th International Forum on Strategic Techology (IFOST-2014), September 21-23, 2014, Cox's Bazar, Bangladesh
af: Yakovlev A. S.
Udgivet: (2014)

Brockhaus ABC Chemie: in zwei Banden; Bd. 2 : L-Z
Udgivet: (Leipzig, Veb F. A. Brockhaus Verlag, 1965)

Multiple Sequence Alignment Methods and Protocols /
Udgivet: (2021)

Next Generation Sequencing Methods and Protocols /
Udgivet: (2018)

Description of Tensile Tests of Iron and Steel Bars
af: Bennett
Udgivet: ([S. l.], [s. n.], 1886)

Description of heavy exotic resonances as molecular states using phenomenological Lagrangians; Progress in Particle and Nuclear Physics; Vol. 94
af: Dong Yu. Yubing
Udgivet: (2017)

Iterative Design of Teaching-Learning Sequences Introducing the Science of Materials in European Schools /
Udgivet: (2016)

On properly convergent numerical sequences; The 8th Korea-Russia International Symposium on Science and Technology (KORUS 2004), June 26 - July 3, 2004, Tomsk, Russia; Vol. 2
af: Sukhotin A. M. Aleksandr Mikhailovich
Udgivet: (2004)

Description of Situations An Essay in Contextualist Epistemology /
af: Venturinha, Nuno
Udgivet: (2018)

Deep Sequencing Data Analysis
Udgivet: (2021)

Multiple Sequence Alignment Methods
Udgivet: (2014)

Deep Sequencing Data Analysis
Udgivet: (2013)

Modern Marriage and the Lyric Sequence
af: Hedley, Jane
Udgivet: (2018)

Sequence Data Analysis Guidebook
Udgivet: (1997)

Bioinformatics for DNA Sequence Analysis
Udgivet: (2009)

Limits of Sequences and Functions; Textbook
af: Konev V. V. Valeriy Vasilevich
Udgivet: (Tomsk, TPU Press, 2002)

The Hungarian Nominal Functional Sequence
af: Dékány, Éva
Udgivet: (2021)

Descriptive Data Mining
af: Olson, David L., et al.
Udgivet: (2019)

Descriptive Data Mining
af: Olson, David L.
Udgivet: (2017)

Логическое проектирование и верификация систем на SystemVerilog
af: Томас Д.
Udgivet: (Москва, ДМК Пресс, 2019)