No Don't Cares in Window Rewriting

[04github]

The care set in window rewriting is obtained by complementing the truth table of the constant false (~tts[win.get_constant(false)]), indicating that there are no don't care conditions. Is this the expected behavior?

mockturtle/include/mockturtle/algorithms/resyn_engines/xag_resyn.hpp

Line 263 in 420f027

std::optional<index_list_t> operator()( TT const& target, TT const& care, iterator_type begin, iterator_type end, typename static_params::truth_table_storage_type const& tts, uint32_t max_size = std::numeric_limits<uint32_t>::max() )

mockturtle/include/mockturtle/algorithms/window_rewriting.hpp

Line 507 in 420f027

return engine( tts[root], ~tts[win.get_constant( false )], divs.begin(), divs.end(), tts, mffc_size - 1 );

[aletempiac]

Yes, window rewriting does not use observability don't cares for resynthesis.

Thanks,
Alessandro

[04github]

Thank you for the quick response!
In the ASPDAC 2022 paper, window rewriting is proposed with don't cares. I am curious if the window rewriting in mockturtle is the official implementation of the paper.

[aletempiac]

It should be the official implementation of the paper. You could try to reproduce the results of the paper by running the corresponding experiment in the experiment folder. While ODCs are not enabled in the code, they can be easily computed and used. It is possible that enhancement was never committed.