Synthesis of multi-level logic with one symbolic input

Presents algorithms that perform multi-level logic synthesis on logic with one symbolic input. This method contrasts to existing approaches that encode a symbolic input before logic synthesis. These approaches determine the encoding based on heuristic estimates. The present algorithms, which perform logic synthesis directly on the logic with the symbolic input, enable one to encode the symbolic input after logic synthesis. Since the authors determine the encoding based on the result of the multi-level logic synthesis, instead of heuristic estimates, they obtain better encodings and hence smaller logic. Experiments on a number of benchmarks show improvements up to 49%