000			03377nam a2200541 c 4500
001			koha000897159
006			m fo d
007			cr |
008			220629s2022 ru ad fsbm 000 0 rus d
035			_akoha000897159
040			_aRU-ToGU _brus _cRU-ToGU
072		7	_2nsnr _a05.13.01
080			_a004.312.2:519.713:519.17(043.3)
080			_a621.38.049.77:519.713:519.17(043.3)
100	1		_aЧернышов, Семен Владимирович _9112901
245	1	0	_aПовышение быстродействия логических схем за счет выявления неисправностей задержек путей с последующим их маскированием и определения ложных путей (на основе использования операций над ROBDD-графами) _bдиссертация на соискание ученой степени кандидата технических наук : 05.13.01 _cЧернышов Семен Владимирович ; науч. рук. Матросова А. Ю. ; Томский гос. ун-т
260			_aТомск _b[б. и.] _c2022
300			_a127 л. _bил., табл.
336			_aТекст
337			_aразные средства доступа
504			_aБиблиогр.: л. 114-127
506			_aДоступ в сети ТГУ
650			_aСистемный анализ, управление и обработка информации (в отраслях информатики, вычислительной техники и автоматизации) _2nsnr _9114005
653			_aдиссертации
653			_aлогические схемы комбинационные
653			_aлогические схемы синхронные последовательностные
653			_aинтегральные схемы, надежность
653			_aинтегральные схемы, быстродействие
653			_aинтегральные схемы, неисправности
653			_aинтегральные схемы, тестирование неисправностей
653			_aинтегральные схемы комбинационные, ложные пути
653			_aинтегральные схемы последовательностные, ложные пути
653			_aалгоритмы поиска ложных путей в интегральных схемах
653			_aалгоритмы маскирования неисправностей в интегральных схемах
653			_aбулевы разности
653			_aROBDD-графы
653			_aлогические схемы, синтез
653			_aлогические схемы, анализ
653			_aинтегральные схемы, синтез
653			_aинтегральные схемы, анализ
700	1		_4ths _aМатросова, Анжела Юрьевна _965116
710	2		_953646 _aТомский государственный университет.
852	4		_aRU-ToGU _nru
856	4		_uhttp://vital.lib.tsu.ru/vital/access/manager/Repository/koha:000897159
942			_2udc
999			_c897159
655		4	_aдиссертации