Sequential Rewriting

@inproceedings{Brayton2007SequentialR,
  title={Sequential Rewriting},
  author={Robert Brayton and Alan Mishchenko},
  year={2007}
}
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

Citations

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

References

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

Similar Papers

Loading similar papers…