Synchronization of large sequential circuits by partial reset

In this paper, we present a technique to synchronize large synchronous sequential circuits, which uses partial reset to break feedback loops in the circuits such that they become synchronizable. The method also provides a synchronizing sequence. Experimental results for ISCAS'89 benchmark circuits are presented, including the largest circuits, which were not synchronized previously.

[1]  Yvon Savaria,et al.  Producing Reliable Initialization and Test of Sequential Circuits with Pseudorandom Vectors , 1995, IEEE Trans. Computers.

[2]  Irith Pomeranz,et al.  Application of Homing Sequences to Synchronous Sequential Circuit Testing , 1994, IEEE Trans. Computers.

[3]  Ronald L. Rivest,et al.  Introduction to Algorithms , 1990 .

[4]  Irith Pomeranz,et al.  The Multiple Observation Time Test Strategy , 1992, IEEE Trans. Computers.

[5]  Vishwani D. Agrawal,et al.  Initializability Consideration in Sequential Machine Synthesis , 1992, IEEE Trans. Computers.

[6]  Irith Pomeranz,et al.  On the Role of Hardware Reset in Synchronous Sequential Circuit Test Generation , 1994, IEEE Trans. Computers.

[7]  Seh-Woong Jeong,et al.  Exact calculation of synchronization sequences based on binary decision diagrams , 1992, [1992] Proceedings 29th ACM/IEEE Design Automation Conference.

[8]  D. G. Saab,et al.  Augmented partial reset , 1993, Proceedings of 1993 International Conference on Computer Aided Design (ICCAD).

[9]  Carl Pixley,et al.  Minimum Length Synchronizing Sequences of Finite State Machine , 1993, 30th ACM/IEEE Design Automation Conference.

[10]  Carl Pixley,et al.  Calculating resettability and reset sequences , 1991, 1991 IEEE International Conference on Computer-Aided Design Digest of Technical Papers.

[11]  David Bryan,et al.  Combinational profiles of sequential benchmark circuits , 1989, IEEE International Symposium on Circuits and Systems,.

[12]  Daniel G. Saab,et al.  On the initialization of sequential circuits , 1994, Proceedings., International Test Conference.

[13]  Miron Abramovici,et al.  A Cost-Based Approach to Partial Scan , 1993, 30th ACM/IEEE Design Automation Conference.

[14]  D. G. Saab,et al.  Partial reset: An inexpensive design for testability approach , 1993, 1993 European Conference on Design Automation with the European Event in ASIC Design.

[15]  Daniel G. Saab,et al.  On selecting flip-flops for partial reset , 1993, Proceedings of IEEE International Test Conference - (ITC).