Sequential Rewriting

  title={Sequential Rewriting},
  author={Robert Brayton and Alan Mishchenko},
To handle realistic circuits found in present-day industrial applications, logic synthesis should be scalable, which essentially means that the algorithms should have linear complexity in circuit size. We propose sequential rewriting, an extension of combinational rewriting to sequential circuits that inherits the low computational complexity of combinational rewriting. During synthesis, a history And-Inverter-Graph (HAIG) is constructed, which compactly records all logic structures created… CONTINUE READING


Publications citing this paper.
Showing 1-2 of 2 extracted citations


Publications referenced by this paper.
Showing 1-10 of 13 references

Similar Papers

Loading similar papers…