Finding the shortest transfer sequence of sequential circuit based on simplified ROBDDs

Valentina Andreeva, Semyon Chernyshov. Finding the shortest transfer sequence of sequential circuit based on simplified ROBDDs. In 2017 IEEE East-West Design & Test Symposium, EWDTS 2017, Novi Sad, Serbia, September 29 - October 2, 2017. pages 1-3, IEEE Computer Society, 2017. [doi]

Abstract

Abstract is missing.