Thank you, there is a problem, could you please help me.
Closed this issue · 2 comments
Thank you. May I ask, In your paper "Heuristic Logic Resynthesis Algorithms at the Core of Peephole Optimization", you mentioned that you integrated the proposed methods in the Mockturtle project. However, I could not find it in Mockturtle. Could you please tell me the specific project path?
Hello, the heuristic resynthesis engines are in algorithms/resyn_engines. Specifically, the three algorithms described in the paper are xag_resyn_decompose, mig_resyn_topdown, and mux_resyn.
Note that these are the core resynthesis engines that are supposed to be combined in another high-level optimization algorithm, e.g., resubstitution, and are not designed to be used alone. Examples of how to compose them together are mig_resubstitution2 and sim_resubstitution.