Synthesis of Sequential Circuits by Redundancy Removal and Retiming

  • Authors:
  • Hiroyuki Yotsuyanagi;Seiji Kajihara;Kozo Kinoshita

  • Affiliations:
  • Department of Applied Physics, Faculty of Engineering, Osaka University;Department of Computer Science and Electronics, Faculty of Computer Science and Systems Engineering, Kyushu Institute of Technology;Department of Applied Physics, Faculty of Engineering, Osaka University. E-mail: kozo@ap.eng.osaka-u.ac.jp

  • Venue:
  • Journal of Electronic Testing: Theory and Applications - Special issue on test synthesis
  • Year:
  • 1997

Quantified Score

Hi-index 0.00

Visualization

Abstract

In this paper we propose a method for synthesizing sequentialcircuits to reduce the number of gates and flip-flops by removingboth combinationally and sequentially redundant faults. In order toremove sequentially redundant faults these faults are converted intocombinationally redundant faults by using retiming techniques and thecombinationally redundant faults can be removed by using a testpattern generation method for combinational circuits. To simplify agiven circuit retiming is utilized for two purposes in thismethod. One is to find sequentially redundant faults and another is toreduce the number of flip-flops and gates. Before and after eachretiming the combinationally redundant faults are removed.Experimental results for ISCAS ‘89 benchmark circuits show that thismethod can remove many of sequentially redundant faults and canreduce a large number of gates and flip-flops.