A New Retiming-based Technology Mapping Algorithm for LUT-based FPGAs

cut enumeration を使用