<lofty>
well, you do have to keep in mind the "no explicit license assigned at this point" bit
<lofty>
but it probably scales better than flowmap ever could
<lofty>
Adrien[m]: toymap uses the same mapping algorithm that ABC uses, but lacks a lot of the optimisations and mapping tricks that ABC has
<Adrien[m]>
I wonder if using toymap instead of ABC can bring any saving on overall synth time and RAM usage, maybe even reduce binary size if we can hack-remove abc entirely ?
<Adrien[m]>
(testing that will probably stay drowned in my todo list, unless I can have an intern experiment it for embedded purpose...)
<lofty>
Adrien[m]: there are ways to reduce synthesis time even with ABC; but you trade off quite a lot of Fmax to do so, IME
<lofty>
and ABC is arguably too well-optimised; there's not a lot of ways you can make it more efficient