000			02408nlm0a2200349 4500
001			651219
005			20231030041024.0
035			_a(RuTPU)RU\TPU\network\16468
035			_aRU\TPU\network\16458
090			_a651219
100			_a20161107d2015 k y0engy50 ba
101	0		_aeng
105			_ay z 100zy
135			_adrcn ---uucaa
181		0	_ai
182		0	_ab
200	1		_aOn using ABC for deriving distinguishing sequences for Verilog-descriptions _fN. G. Kushik [et al.]
203			_aText _celectronic
300			_aTitle screen
330			_aIn 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.
333			_aРежим доступа: по договору с организацией-держателем ресурса
463			_tEast-West Design and Test Symposium (EWDTS), 2015 IEEE _oproceedings, Batumi, Georgia, September 26 – 29, 2015 _v[4 р.] _d2016
610	1		_aэлектронный ресурс
610	1		_aтруды учёных ТПУ
701		1	_aKushik _bN. G. _gNataljya Gennadjevna
701		1	_aEvtushenko _bN. V. _gNina Vladimirovna
701		1	_aTorgaev _bS. N. _cspecialist in the field of electronics _cassociate Professor of Tomsk Polytechnic University, candidate of physico-mathematical Sciences _f1984- _gStanislav Nikolaevich _2stltpush _3(RuTPU)RU\TPU\pers\31663
701		1	_aShatilov _bN. P. _gNikita Petrovich
712	0	2	_aНациональный исследовательский Томский политехнический университет (ТПУ) _bИнститут неразрушающего контроля (ИНК) _bКафедра промышленной и медицинской электроники (ПМЭ) _h64 _2stltpush _3(RuTPU)RU\TPU\col\18719
801		2	_aRU _b63413507 _c20161114 _gRCR
856	4		_uhttp://dx.doi.org/10.1109/EWDTS.2015.7493150
942			_cCF