Merging multiple FSM controllers for DFT/BIST hardware

Multiple test controllers are often required to control test plans corresponding to various testable design methodologies embedded in a circuit. Implementing these controllers as independent entities adds to the test logic area and may introduce delays on critical control paths of a chip. In this paper we present a technique for combining the test controllers into a minimal area merged controller. This technique consists of sequentially mapping the individual controllers onto the largest one using an A/sup */ algorithm that minimizes the number of implicants in a multiple-valued cover of the merged finite state machine (FSM). We compare this technique with an approach based on controller concatenation and state minimization and show that our technique produces merged machines that, after state and input encoding using the minimum number of bits, have on average 33% and 24% less product terms and area, respectively. For other encoding schemes, our approach results in an average savings of 25% in product terms and area.

[1]  Alberto L. Sangiovanni-Vincentelli,et al.  Multiple-Valued Minimization for PLA Optimization , 1987, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.

[2]  Robert K. Brayton,et al.  MIS: A Multiple-Level Logic Optimization System , 1987, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.

[3]  Tiziano Villa,et al.  NOVA: State Assignment of Finite State Machines for Optimal Two-Level Logic Implementations , 1989, 26th ACM/IEEE Design Automation Conference.

[4]  Alberto L. Sangiovanni-Vincentelli,et al.  A New Symbolic Channel Router: YACR2 , 1985, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.

[5]  Robert K. Brayton,et al.  Optimal State Assignment for Finite State Machines , 1985, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.

[6]  Melvin A. Breuer,et al.  Minimal area merger of finite state machine controllers , 1992, Proceedings EURO-DAC '92: European Design Automation Conference.

[7]  Melvin A. Breuer,et al.  Synthesis of optimal 1-hot coded on-chip controllers for BIST hardware , 1991, 1991 IEEE International Conference on Computer-Aided Design Digest of Technical Papers.

[8]  Fabio Somenzi,et al.  Exact and heuristic algorithms for the minimization of incompletely specified state machines , 1994, Proceedings of the European Conference on Design Automation..

[9]  Melvin A. Breuer,et al.  Test Schedules for VLSI Circuits Having Built-In Test Hardware , 1986, IEEE Transactions on Computers.