HIMap: a heuristic and iterative logic synthesis approach.

Xing Li Lei Chen Fan Yang Mingxuan Yuan Hongli Yan Yupeng Wan

Published in: DAC (2022)

Keyphrases

logic synthesis
heuristic search
multi valued
search algorithm
optimal solution
inductive learning
simulated annealing
image processing
lower bound
quantum computing
real time
genetic algorithm
logic circuits