Algorithms for approximate FSM traversal
DAC '93 Proceedings of the 30th international Design Automation Conference
Testable synthesis of high complex control devices
EURO-DAC '95/EURO-VHDL '95 Proceedings of the conference on European design automation
On Test Generation for Interconnected Finite-State Machines: The Input Sequence Propagation Problem
ATS '96 Proceedings of the 5th Asian Test Symposium
EDTC '96 Proceedings of the 1996 European conference on Design and Test
Test function embedding algorithms with application to interconnected finite state machines
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
A partition and resynthesis approach to testable design of large circuits
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
Journal of Computer and Systems Sciences International
A method for minimizing Moore finite-state machines by merging two states
Journal of Computer and Systems Sciences International
Hi-index | 14.98 |
In some applications, it is desirable to find for a circuit a minimal partial description that allows a certain task to be carried out. A partial circuit description allows the task to be carried out more efficiently since fewer decision points exist based on a partial description compared to the full circuit description. We consider this problem with respect to finite state machines and the following tasks. Starting from a functional description of a finite state machine $M$ in the form of a state table $ST$, we select a minimal subset of state-transitions $ST_{part} \subset ST$ such that every output sequence that can be produced using state-transitions out of $ST$ can also be produced using state-transitions out of $ST_{part}$. We also formulate a similar problem related to the propagation of fault effects from the inputs to the outputs of $M$ and describe a procedure for solving this problem. Applications of these tasks include test generation for circuits described as interconnections of finite-state machines. Experimental results presented show that $ST_{part}$ contains a small fraction of the state-transitions of $ST$.