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

Chi tiết về thư mục
Parent link:	East-West Design and Test Symposium (EWDTS), 2015 IEEE.— 2016.— [4 р.]
Tác giả của công ty:	Национальный исследовательский Томский политехнический университет (ТПУ) Институт неразрушающего контроля (ИНК) Кафедра промышленной и медицинской электроники (ПМЭ)
Tác giả khác:	Kushik N. G. Nataljya Gennadjevna, Evtushenko N. V. Nina Vladimirovna, Torgaev S. N. Stanislav Nikolaevich, Shatilov N. P. Nikita Petrovich
Tóm tắt:	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. Режим доступа: по договору с организацией-держателем ресурса
Ngôn ngữ:	Tiếng Anh
Được phát hành:	2016
Những chủ đề:	электронный ресурс труды учёных ТПУ
Truy cập trực tuyến:	http://dx.doi.org/10.1109/EWDTS.2015.7493150
Định dạng:	Điện tử Sách
KOHA link:	https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=651219

Những quyển sách tương tự

SystemVerilog For Design. A Guide to Using System Verilog for Hardware Design and Modeling
Bằng: Sutherland S. Stuart
Được phát hành: (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
Bằng: Butorina N. B. Nataljya Borisovna
Được phát hành: (2018)

Distinguishing features and constraints of ambient media technologies; Journal of Economics and Social Sciences; № 5
Bằng: Lyubavina A. G.
Được phát hành: (2014)

Практикум по проектированию на языках VerilogHDL и SystemVerilog учебное пособие для вузов
Bằng: Мурсаев А. Х.
Được phát hành: (Санкт-Петербург, Лань, 2025)

Interpreting Historical Sequences Using Economic Models War, Secession and Tranquility /
Bằng: Hallwood, Paul
Được phát hành: (2020)

The abcs of simultaneous interpreting
Bằng: Караваева Н. А.
Được phát hành: (Воронеж, ВГУ, 2016)

MICASE - description and use in the language learning process; Лингвистические и культурологические традиции и инновации
Bằng: Демидова О. М. Ольга Михайловна
Được phát hành: (2019)

Limits of Sequences and Functions: textbook
Bằng: Konev V. V. Valeriy Vasilevich
Được phát hành: (Tomsk, TPU Publishing House, 2020)

Язык Verilog для программирования ПЛИС учебное пособие
Bằng: Лютов А. Г.
Được phát hành: (Москва, РТУ МИРЭА, 2023)

Nanopore Sequencing Methods and Protocols /
Được phát hành: (2023)

ABC of Common Grammatical Errors
Bằng: Turton N. D. Nigel
Được phát hành: (Oxford, Macmillan, 1995)

De-Sequencing Identity Work with Genes /
Được phát hành: (2020)

Protein Sequencing Protocols
Được phát hành: (2003)

PCR Sequencing Protocols
Được phát hành: (1996)

DNA Sequencing Protocols
Được phát hành: (2001)

Protein Sequencing Protocols
Được phát hành: (1997)

DNA Sequencing Protocols
Bằng: Griffin, Annette M., et al.
Được phát hành: (1993)

Limits of Sequences and Functions
Bằng: Konev V. V. Valery V.
Được phát hành: (Tomsk, TPU Press, 2009)

Business process description using BPMN and BPEL4People; Modern technique and technologies MTT' 2009
Bằng: Nguyen Hoang Trinh
Được phát hành: (2009)

Brockhaus ABC Chemie: in zwei Banden; Bd. ! : A-K
Được phát hành: (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
Bằng: Yakovlev A. S.
Được phát hành: (2014)

Brockhaus ABC Chemie: in zwei Banden; Bd. 2 : L-Z
Được phát hành: (Leipzig, Veb F. A. Brockhaus Verlag, 1965)

Multiple Sequence Alignment Methods and Protocols /
Được phát hành: (2021)

Next Generation Sequencing Methods and Protocols /
Được phát hành: (2018)

Description of Tensile Tests of Iron and Steel Bars
Bằng: Bennett
Được phát hành: ([S. l.], [s. n.], 1886)

Description of heavy exotic resonances as molecular states using phenomenological Lagrangians; Progress in Particle and Nuclear Physics; Vol. 94
Bằng: Dong Yu. Yubing
Được phát hành: (2017)

Iterative Design of Teaching-Learning Sequences Introducing the Science of Materials in European Schools /
Được phát hành: (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
Bằng: Sukhotin A. M. Aleksandr Mikhailovich
Được phát hành: (2004)

Description of Situations An Essay in Contextualist Epistemology /
Bằng: Venturinha, Nuno
Được phát hành: (2018)

Deep Sequencing Data Analysis
Được phát hành: (2021)

Multiple Sequence Alignment Methods
Được phát hành: (2014)

Deep Sequencing Data Analysis
Được phát hành: (2013)

Modern Marriage and the Lyric Sequence
Bằng: Hedley, Jane
Được phát hành: (2018)

Sequence Data Analysis Guidebook
Được phát hành: (1997)

Bioinformatics for DNA Sequence Analysis
Được phát hành: (2009)

Limits of Sequences and Functions; Textbook
Bằng: Konev V. V. Valeriy Vasilevich
Được phát hành: (Tomsk, TPU Press, 2002)

The Hungarian Nominal Functional Sequence
Bằng: Dékány, Éva
Được phát hành: (2021)

Descriptive Data Mining
Bằng: Olson, David L., et al.
Được phát hành: (2019)

Descriptive Data Mining
Bằng: Olson, David L.
Được phát hành: (2017)

Логическое проектирование и верификация систем на SystemVerilog
Bằng: Томас Д.
Được phát hành: (Москва, ДМК Пресс, 2019)