Finding the shortest transfer sequence of sequential circuit based on simplified ROBDDs
- Resource Type
- Conference
- Authors
- Andreeva, Valentina; Chernyshov, Semyon
- Source
- 2017 IEEE East-West Design & Test Symposium (EWDTS) East-West Design & Test Symposium (EWDTS), 2017 IEEE. :1-3 Sep, 2017
- Subject
- Components, Circuits, Devices and Systems
Computing and Processing
Robotics and Control Systems
Signal Processing and Analysis
Boolean functions
Data structures
Sequential circuits
Circuit faults
Input variables
Benchmark testing
- Language
- ISSN
- 2472-761X
A method of finding the shortest transfer sequence for the given set of internal states with using operations on ROBDDs is considered. Simplified ROBDDs for transition functions compositions are applied. The ROBDDs are built by using Shannon decomposition first for state and then for input variables. In the simplified ROBDD its path originated by state variables has the only prolongation among input variables. An algorithm of cutting the number of these prolongations for the ROBDD is proposed. The algorithm is based on using the decomposition tree and oriented to cut calculations on finding the shortest transfer sequence.