Title :
Synthesis for testability by sequential redundancy removal using retiming
Author :
Yotsuyanagi, H. ; Kajihara, S. ; Kinoshita, K.
Author_Institution :
Dept. of Appl. Phys., Osaka Univ., Japan
Abstract :
The existence of sequential redundancy degrades testability of sequential circuits. By using retiming which rearranges flip-flops, some sequential redundancy is converted into combinational redundancy, which can be easily identified and removed by a combinational test generation technique. Retiming is utilized for two purposes: one is for finding sequential redundancy and another is for reducing the number of flip-flops. Applying retiming and redundancy removal techniques concurrently, testability of sequential circuits is enhanced. Experimental results for ISCAS´89 benchmark circuits show the effectiveness of this method for optimizing circuits.<>
Keywords :
design for testability; flip-flops; logic testing; redundancy; sequential circuits; timing; ISCAS´89 benchmark circuits; circuit optimisation; combinational redundancy; combinational test generation technique; flip-flop rearrangements; retiming; sequential circuits; sequential redundancy removal; synthesis for testability; Circuit faults; Circuit synthesis; Circuit testing; Combinational circuits; Fault diagnosis; Flip-flops; Logic circuits; Redundancy; Sequential analysis; Sequential circuits;
Conference_Titel :
Fault-Tolerant Computing, 1995. FTCS-25. Digest of Papers., Twenty-Fifth International Symposium on
Conference_Location :
Pasadena, CA, USA
Print_ISBN :
0-8186-7079-7
DOI :
10.1109/FTCS.1995.466981
