whitequark changed the topic of #yosys to: Yosys Open SYnthesis Suite: https://github.com/YosysHQ/yosys/ | Channel logs: https://libera.irclog.whitequark.org/yosys/ | Bridged to #yosys:matrix.org
tpb has quit [Remote host closed the connection]
tpb has joined #yosys
lexano has quit [Ping timeout: 240 seconds]
ppisati has quit [Ping timeout: 264 seconds]
ppisati has joined #yosys
ec has quit [Ping timeout: 260 seconds]
ec has joined #yosys
ec has quit [Remote host closed the connection]
ec has joined #yosys
bjorkintosh has quit [Remote host closed the connection]
bjorkintosh has joined #yosys
bjorkintosh has quit [Remote host closed the connection]
bjorkintosh has joined #yosys
bjorkintosh has quit [Ping timeout: 268 seconds]
bjorkint0sh has joined #yosys
bjorkint0sh has quit [Remote host closed the connection]
bjorkint0sh has joined #yosys
daim is now known as Guest2849
Guest2849 has quit [Killed (calcium.libera.chat (Nickname regained by services))]
twix has joined #yosys
FabM has joined #yosys
lilibox has quit [Remote host closed the connection]
Guest17 has joined #yosys
lilibox has joined #yosys
Guest17 has left #yosys [#yosys]
lexano has joined #yosys
dkc has quit [Quit: ZNC 1.8.2 - https://znc.in]
dkc has joined #yosys
FabM has quit [Ping timeout: 252 seconds]
cr1901_ is now known as cr1901
<philtor> whitequark[cis]: weren't you making an alternative to abc?
<philtor> (was trying to search around for it, but forgot the name)
<Wanda[cis]> philtor: the name is `flowmap` yosys pass, but it's... very PoC quality and doesn't quite work
Adrien[m] has joined #yosys
<Adrien[m]> What about toymap ? https://github.com/povik/toymap/
<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
fougus has joined #yosys
fougus has left #yosys [Leaving]
nonchip has quit [Quit: https://quassel-irc.org - Chat comfortably. Anywhere.]
nonchip has joined #yosys