SSC-a tool for the synthesis of testable sequential machines

A new CAD system, called SSC, is presented for the design and test of finite-state machines (FSMs). SSC utilizes a controlled design environment to simplify the logic synthesis and verification process. SSC utilizes a high-level structured input description where the state sequencing information is implicit in the specification. It is demonstrated that synthesis for testability and test generation depend on the type of state assignment adopted. SSC offers flexibility of choice in the synthesis of FSMs. It is shown that this flexibility is important because each of the state assignment options in SSC is tailored for a specific FSM structure. This enhances the performance of the final product as measured by silicon area, speed, and testability.<<ETX>>

[1]  Edsger W. Dijkstra,et al.  Structured programming , 1972, A.P.I.C. Studies in data processing.

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

[3]  S.-T. Su,et al.  Automatic synthesis of VLSI control paths for high level specifications , 1989, Proceedings. IEEE Energy and Information Technologies in the Southeast'.

[4]  Hideo Fujiwara,et al.  On the Acceleration of Test Generation Algorithms , 1983, IEEE Transactions on Computers.

[5]  Juris Hartmanis,et al.  On the State Assignment Problem for Sequential Machines. I , 1961, IRE Trans. Electron. Comput..

[6]  Rafic Z. Makki,et al.  Automatic Test Pattern Generation with Branch Testing , 1991, IEEE Trans. Computers.

[7]  J. Paul Roth,et al.  Diagnosis of automata failures: a calculus and a method , 1966 .

[8]  Prabhakar Goel,et al.  An Implicit Enumeration Algorithm to Generate Tests for Combinational Logic Circuits , 1981, IEEE Transactions on Computers.

[9]  Alberto L. Sangiovanni-Vincentelli,et al.  Synthesis and optimization procedures for fully and easily testable sequential machines , 1988, International Test Conference 1988 Proceeding@m_New Frontiers in Testing.

[10]  Thomas W. Williams,et al.  Design for Testability - A Survey , 1982, IEEE Trans. Computers.

[11]  David E. Winkel,et al.  The art of digital design , 1980 .