Thank you, there is a problem, could you please help me.

[Bingo678]

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?

[lee30sonia]

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.

[Bingo678]

Thank you so much, it help me a lot, hope you have a nice day!

韩炳喆 @.***

 

------------------ 原始邮件 ------------------ 发件人: "lsils/mockturtle" @.>; 发送时间: 2023年6月6日(星期二) 晚上8:28 @.>; @.**@.>; 主题: Re: [lsils/mockturtle] Thank you, there is a problem, could you please help me. (Issue #611)

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.

— Reply to this email directly, view it on GitHub, or unsubscribe. You are receiving this because you authored the thread.Message ID: @.***>