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

Anzhela Matrosova, V. Andreeva, Alexey Melnikov. ROBDDs application for finding the shortest transfer sequence of sequential circuit or only revealing existence of this sequence without deriving the sequence itself. In 2016 IEEE East-West Design & Test Symposium, EWDTS 2016, Yerevan, Armenia, October 14-17, 2016. pages 1-4, IEEE, 2016. [doi]

Authors

Anzhela Matrosova

This author has not been identified. Look up 'Anzhela Matrosova' in Google

V. Andreeva

This author has not been identified. Look up 'V. Andreeva' in Google

Alexey Melnikov

This author has not been identified. Look up 'Alexey Melnikov' in Google