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]