D. Brand
IEEE TC
Paper
Incremental synthesis
Abstract
A small change in the input to logic synthesis may cause a large change in the output implementation. This is undesirable if a designer has some investment in the old implementation and does not want it perturbed more than necessary. We describe a method that solves this problem by reusing gates from the old implementation, and restricting synthesis to the modified portions only.
Related
Leon Stok, D.S. Kung, et al.
IBM J. Res. Dev
Conference paper
Symbolic implication in test generation
Sandip Kundu, I. Nair, et al.
European Conference on Design Automation 1992
Conference paper
A small test generator for large designs
Sandip Kundu, Leendert M. Huisman, et al.
IEEE ITC 1992