ROBDDS application for finding the shortest transfer sequence of sequential circuit or only revealing existence of this sequence without deriving the sequence itself

Bibliographic Details
Published in:Proceedings of IEEE East-West Design & Test Symposium (EWDTS'2016), Yerevan, Armenia, October 14-17, 2016 P. 513-516
Main Author: Matrosova, Anzhela Yu
Other Authors: Andreeva, V. V., Melnikov, A. V.
Format: Book Chapter
Language:English
Subjects:
Online Access:http://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000616216
Перейти в каталог НБ ТГУ
LEADER 01428naa a2200289 c 4500
001 vtls000616216
003 RU-ToGU
005 20230319210721.0
007 cr |
008 171101s2016 fs 100 0 eng d
035 |a to000616216 
039 9 |a 201711100850  |c 201711100841  |d cat202  |c 201711100835  |d cat202  |c 201711011602  |d VLOAD  |y 201711011547  |z Александр Эльверович Гилязов 
040 |a RU-ToGU  |b rus  |c RU-ToGU 
100 1 |a Matrosova, Anzhela Yu.  |9 106598 
245 1 0 |a ROBDDS application for finding the shortest transfer sequence of sequential circuit or only revealing existence of this sequence without deriving the sequence itself  |c A. Matrosova, V. Andreeva, A. Melnikov 
504 |a Библиогр.: 2 назв. 
653 |a ROBDD-графы 
653 |a последовательностные схемы 
655 4 |a статьи в сборниках  |9 879352 
700 1 |a Andreeva, V. V.  |9 473369 
700 1 |a Melnikov, A. V.  |9 227522 
773 0 |t Proceedings of IEEE East-West Design & Test Symposium (EWDTS'2016), Yerevan, Armenia, October 14-17, 2016  |d [S. l.], 2016  |g P. 513-516  |z 9781509006939 
852 4 |a RU-ToGU 
856 7 |u http://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000616216 
856 |y Перейти в каталог НБ ТГУ  |u https://koha.lib.tsu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=420036 
908 |a статья 
999 |c 420036  |d 420036