Cerpin has quit [Read error: Connection reset by peer]
Cerpin has joined #yosys
Cerpin has quit [Ping timeout: 260 seconds]
az0re has quit [Remote host closed the connection]
az0re has joined #yosys
<az0re>
Can someone please explain to me exactly what the `-g` option to `abc` does?
<az0re>
I am not trying to do LUT mapping; I just want to use ABC for some logic optimization. But after I export the circuit to ABC and it gets re-integrated, I only get a bunch of `$lut` cells. If I `techmap` this circuit, I get a bunch of $_MUX_ cells.
<az0re>
I would like to have it re-map basic gates: AND, OR, MUX, etc. That's not what `-g` does?
<mwk>
az0re: just don't pass any -lut* option to abc and it'll map to gates instead
<az0re>
That's not my experience
<az0re>
mwk: If I just do `abc -script +[...] mymodule` I get a bunch of $lut cells
<az0re>
I actually have some LUT comprehension code I could add to turn LUTs from ABC back into gates, but I am confused, as it seems like `-g` should do that already.
<mwk>
what's the full yosys script you're using?
<az0re>
See PR #2019, file examples/smtbmc/glift/alu2.ys
<az0re>
FWIW I see a ~4x solver speedup recovering ANDs from the LUTs instead of relying on a stupid MUX tree, so it's important to me to get a reasonable AIG back instead of LUTs
<az0re>
(I suspect XOR recovery would give a speedup, too, but finding XOR-isomorphic 2-feasible cuts in the AIG is another task for another day...)
Cerpin has quit [Client Quit]
Cerpin has joined #yosys
<mwk>
az0re: well your abc script doesn't actually do any technology mapping to the yosys cells
<mwk>
hence abc itself outputs LUTs
<az0re>
Aha. What am I missing?
<az0re>
Never done techmapping with ABC before
<mwk>
&nf is what does the trick
<az0re>
Orly
<az0re>
Thanks :)
<az0re>
Oh Alan, how in the world should I hypothesize what &nf should do?
<az0re>
...
<mwk>
basically appending ';&get,-n;&dch,-f;&nf;&put' to your script makes it work
<mwk>
because the design needs to be put into &-space to be techmapped, whatever the fuck it is
<az0re>
lol totally absurd
<az0re>
Thanks for the tip, you probably saved me 3 hours or something
Cerpin has quit [Ping timeout: 256 seconds]
<whitequark>
&-space
Cerpin has joined #yosys
<az0re>
A problem that took 60s to solve is now solved in 6s. Rad. Thanks, mwk.
Degi has quit [Ping timeout: 246 seconds]
Degi has joined #yosys
develonepi3 has quit [Quit: Leaving]
craigo has joined #yosys
tmiw_ is now known as tmiw
_whitelogger has joined #yosys
SpaceCoaster has joined #yosys
<az0re>
Does anyone have experience with PerformanceTimer ? I'm trying to use it in a very simple way but it's giving me erroneous timing info. 3m40s of wall clock time is reported as 0.05s
Cerpin has quit [Ping timeout: 272 seconds]
<az0re>
I also tried not using begin(), end(), and sec(), and calling PerformanceTimer::query() directly, but it also does not seem to work... A few seconds is reported as 0.02s, and a few minutes as 0.035s
Cerpin has joined #yosys
<az0re>
Strangely, the time reporting when I exit Yosys is mostly reasonable, with some stats in the seconds
_whitelogger has joined #yosys
Cerpin has quit [Ping timeout: 246 seconds]
Cerpin has joined #yosys
emeb_mac has quit [Quit: Leaving.]
cr1901_modern has quit [Quit: Leaving.]
cr1901_modern has joined #yosys
cr1901_modern has quit [Read error: Connection reset by peer]
Cerpin has quit [Ping timeout: 256 seconds]
cr1901_modern has joined #yosys
Cerpin has joined #yosys
craigo has quit [Ping timeout: 265 seconds]
Asu has joined #yosys
jryans has quit [Ping timeout: 256 seconds]
dxld has quit [Ping timeout: 256 seconds]
lambda has quit [Ping timeout: 256 seconds]
smkz has quit [Ping timeout: 256 seconds]
thoughtpolice has quit [*.net *.split]
svenn has quit [*.net *.split]
rjeli has quit [*.net *.split]
daveshah has quit [*.net *.split]
anuejn_ has quit [*.net *.split]
smarter has quit [*.net *.split]
somlo has quit [*.net *.split]
parport0 has quit [*.net *.split]
benreynwar has quit [*.net *.split]
_whitelogger has joined #yosys
kraiskil has joined #yosys
kgugala_ has joined #yosys
<Lofty>
I think &-space is XAIG.
<Lofty>
At least, ABC9 transformations are all prefixed by & and I think those use XAIG.
kgugala has quit [Ping timeout: 256 seconds]
kgugala_ has quit [Ping timeout: 260 seconds]
dys has quit [Ping timeout: 246 seconds]
craigo has joined #yosys
Thorn has quit [Ping timeout: 272 seconds]
kgugala_ has joined #yosys
N2TOH_ has quit [Ping timeout: 246 seconds]
N2TOH has joined #yosys
Thorn has joined #yosys
kgugala has joined #yosys
kgugala_ has quit [Ping timeout: 246 seconds]
kraiskil has quit [Ping timeout: 256 seconds]
cr1901_modern has quit [Read error: Connection reset by peer]
citypw has joined #yosys
cr1901_modern has joined #yosys
emeb_mac has joined #yosys
vidbina has joined #yosys
Asu has quit [Quit: Konversation terminated!]
citypw has quit [Ping timeout: 240 seconds]
dys has joined #yosys
craigo has quit [Ping timeout: 265 seconds]
Asu has joined #yosys
X-Scale` has joined #yosys
X-Scale has quit [Ping timeout: 272 seconds]
X-Scale` is now known as X-Scale
vidbina has quit [Ping timeout: 256 seconds]
johnmami1h has joined #yosys
johnmami1h has quit [Client Quit]
jmamish has joined #yosys
kraiskil has joined #yosys
jmamish has quit [Ping timeout: 256 seconds]
kraiskil has quit [Ping timeout: 256 seconds]
X-Scale has quit [Ping timeout: 256 seconds]
X-Scale` has joined #yosys
X-Scale` is now known as X-Scale
rqou has quit [Ping timeout: 256 seconds]
rqou has joined #yosys
dys has quit [Ping timeout: 256 seconds]
az0re has quit [Quit: Leaving]
Asu has quit [Quit: Konversation terminated!]
bzztploink has quit [Ping timeout: 246 seconds]
bzztploink has joined #yosys
bzztploink has quit [Ping timeout: 260 seconds]
fevv8[m] has quit [*.net *.split]
fevv8[m] has joined #yosys
SpaceCoaster has quit [*.net *.split]
carlomaragno has quit [*.net *.split]
cyrozap has quit [*.net *.split]
emilazy has quit [*.net *.split]
cyrozap has joined #yosys
carlomaragno has joined #yosys
SpaceCoaster has joined #yosys
emilazy has joined #yosys
tmiw has quit [*.net *.split]
mwk has quit [*.net *.split]
anticw has quit [*.net *.split]
esden has quit [*.net *.split]
tmbinc has quit [*.net *.split]
ross_s has quit [*.net *.split]
Marex has quit [*.net *.split]
Marex has joined #yosys
mwk has joined #yosys
tmiw has joined #yosys
esden has joined #yosys
tmbinc has joined #yosys
anticw has joined #yosys
ross_s has joined #yosys
promach3 has quit [*.net *.split]
rjo has quit [*.net *.split]
jhol has quit [*.net *.split]
filt3r has quit [*.net *.split]
filt3r has joined #yosys
jhol has joined #yosys
rjo has joined #yosys
jryans has quit [Ping timeout: 240 seconds]
emily has quit [*.net *.split]
rjo has quit [Ping timeout: 252 seconds]
mirage335 has quit [*.net *.split]
futarisIRCcloud has quit [*.net *.split]
gmc has quit [*.net *.split]
ZipCPU has quit [*.net *.split]
sorear has quit [*.net *.split]
Twix has quit [*.net *.split]
miek has quit [*.net *.split]
simeonm has quit [*.net *.split]
ebb has quit [*.net *.split]
futarisIRCcloud has joined #yosys
sorear has joined #yosys
ZipCPU has joined #yosys
gmc has joined #yosys
miek has joined #yosys
ebb has joined #yosys
Twix has joined #yosys
simeonm has joined #yosys
mirage335 has joined #yosys
tpb has quit [*.net *.split]
knielsen has quit [*.net *.split]
nengel has quit [*.net *.split]
indy has quit [*.net *.split]
corecode_ has quit [*.net *.split]
FL4SHK has quit [*.net *.split]
vup has quit [*.net *.split]
knielsen has joined #yosys
FL4SHK has joined #yosys
vup has joined #yosys
corecode_ has joined #yosys
nengel has joined #yosys
tpb has joined #yosys
indy has joined #yosys
fevv8[m] has quit [Ping timeout: 244 seconds]
madushan1000 has quit [Ping timeout: 244 seconds]
futarisIRCcloud has quit [Ping timeout: 246 seconds]
adjtm has quit [Remote host closed the connection]