ChanServ changed the topic of #yosys to: Yosys Open SYnthesis Suite: https://github.com/YosysHQ/yosys/ | Channel logs: https://libera.irclog.whitequark.org/yosys/
tpb has quit [Remote host closed the connection]
tpb has joined #yosys
greeb has joined #yosys
ec has joined #yosys
citypw has joined #yosys
emeb_mac has joined #yosys
ec has quit [Remote host closed the connection]
gmc_ has joined #yosys
emeb_mac has quit [Quit: Leaving.]
FabM has joined #yosys
FabM has joined #yosys
nelgau_ has joined #yosys
nelgau has quit [Ping timeout: 256 seconds]
vup has quit [Remote host closed the connection]
vup has joined #yosys
gruetzkopf has quit [Quit: No Ping reply in 180 seconds.]
kbeckmann has quit [Ping timeout: 240 seconds]
gmc_ has quit [Remote host closed the connection]
gruetzkopf has joined #yosys
kbeckmann has joined #yosys
lexano has quit [Ping timeout: 246 seconds]
lexano has joined #yosys
ec has joined #yosys
piegames[m] has joined #yosys
<piegames[m]> I need to do some optimization of large truth tables with multiple outputs. Is Yosys a good tool for that?
<piegames[m]> I tried using Espresso but as far as I can tell I'd have to manually do some factorization of common terms afterwards, plus I'm not sure if the optimization is global when there are multiple outputs.
<tnt> Heh, funny I went the other way around. I ended up using espresso to get basic logic equations from truth tables and feed that to yosys because yosys alone produced not-so-great results.
<tnt> it might depend what your tables look like though. Mine were mostly "don't care" which is where I think espresso did a much better job at not caring than yosys.
<piegames[m]> Test test (I think the Matrix bridge is down)
<piegames[m]> I tried using Espresso but as far as I can tell I'd have to manually do some factorization of common terms afterwards, plus I'm not sure if the optimization is global when there are multiple outputs.
<tnt> Ah well I guess I'm screaming into the void then.
piegames has joined #yosys
<piegames> tnt: I'm back (good thing there are public channel logs ^^)
<tnt> lol
<xiretza[m]> tnt: everything went through fine from my POV
<piegames> I want to use it to compress some small ROM, so no don't cares (except maybe for unused addresses) but plenty of redundancy to optimize out
<piegames> From reading the help page the `opt` command is probably not strong enough to do that
FabM has quit [Quit: Leaving]
citypw has quit [Ping timeout: 240 seconds]
gmc_ has joined #yosys
<jix> piegames: playing around with abc's various optimization passes is among the things I'd try
Klotz has joined #yosys
Klotz has quit [Quit: Klotz]
emeb has joined #yosys
ec has quit [Ping timeout: 240 seconds]
nelgau_ has quit [Ping timeout: 272 seconds]
nelgau has joined #yosys
ec has joined #yosys
emeb_mac has joined #yosys
Lord_Nightmare has quit [Remote host closed the connection]
Lord_Nightmare has joined #yosys
ec has quit [Quit: ec]
emeb has quit [Quit: Leaving.]