Merging #554 (8b954af) into master (826a2f0) will increase coverage by 0.03%.
The diff coverage is 86.95%.
:exclamation: Current head 8b954af differs from pull request most recent head ad8bb59. Consider uploading reports for the commit ad8bb59 to get more accurate results
A cost-generic resubstitution algorithm with a customizable cost function.
Defined a new class of cost functions called "recursive cost function". Users can describe the optimization target by defining a new cost function.
Added a "cost view" of the network that is able to calculate the cost of both the entire network and the local window. It can be used in a resubstitution algorithm to evaluate the quality of a resubstitute candidate.
Implemented a "cost-aware resynthesis solver" that solves the resynthesis problem under functionality constraints and returns the dependency circuit with the lowest cost. It is an extension of the previous "xag_resyn" solver.
Developed a "cost-generic-resubstitution" optimization script. When calling the resubstitution algorithm, the user can specify the cost function to reduce and the script will optimize the network accordingly. Currently, only networks with base type xag_network are supported.
Codecov Report
84.21% <84.21%> (ø)
62.26% <100.00%> (ø)
100.00% <100.00%> (ø)
87.50% <0.00%> (-12.50%)
98.61% <0.00%> (-1.39%)
78.53% <0.00%> (-0.04%)
100.00% <0.00%> (ø)
100.00% <0.00%> (ø)
100.00% <0.00%> (ø)
56.84% <0.00%> (ø)
Help us with your feedback. Take ten seconds to tell us how you rate us.