cr1901_modern has quit [Read error: Connection reset by peer]
cr1901_modern has joined #yosys
s_frit has quit [Remote host closed the connection]
s_frit has joined #yosys
attie has joined #yosys
attie has quit [Ping timeout: 272 seconds]
rohitksingh has joined #yosys
rohitksingh has quit [Ping timeout: 272 seconds]
rohitksingh has joined #yosys
awordnot has quit [Ping timeout: 268 seconds]
rohitksingh has quit [Ping timeout: 260 seconds]
rohitksingh has joined #yosys
dys has joined #yosys
craigo has joined #yosys
s_frit has quit [Remote host closed the connection]
bwidawks has joined #yosys
s_frit has joined #yosys
dys has quit [Ping timeout: 265 seconds]
cr1901_modern has quit [*.net *.split]
tlwoerner has quit [*.net *.split]
bwidawsk has quit [*.net *.split]
Xark has quit [*.net *.split]
nurelin_ has quit [*.net *.split]
pacak has quit [*.net *.split]
plaes has quit [*.net *.split]
Ekho has quit [*.net *.split]
Kamilion has quit [*.net *.split]
bwidawks is now known as bwidawsk
Ekho- has joined #yosys
awordnot has joined #yosys
simeonm has quit [Ping timeout: 268 seconds]
simeonm has joined #yosys
tlwoerner has joined #yosys
pacak has joined #yosys
mirage335 has joined #yosys
rohitksingh has quit [Ping timeout: 258 seconds]
indy has quit [Ping timeout: 258 seconds]
cr1901_modern has joined #yosys
FabM has joined #yosys
indy has joined #yosys
nurelin_ has joined #yosys
Xark has joined #yosys
Kamilion has joined #yosys
awordnot has quit [Read error: Connection reset by peer]
awordnot has joined #yosys
attie has joined #yosys
citypw has joined #yosys
rohitksingh has joined #yosys
az0re has quit [Quit: Leaving]
dys has joined #yosys
attie has quit [Ping timeout: 268 seconds]
rohitksingh has quit [Ping timeout: 272 seconds]
rohitksingh has joined #yosys
attie has joined #yosys
fengling has quit [Ping timeout: 265 seconds]
fsasm has joined #yosys
captain_morgan20 has quit [Ping timeout: 240 seconds]
rohitksingh has quit [Ping timeout: 240 seconds]
fengling has joined #yosys
m_w has quit [Ping timeout: 265 seconds]
attie has quit [Ping timeout: 265 seconds]
attie has joined #yosys
lansiir has quit [Remote host closed the connection]
rohitksingh has joined #yosys
rohitksingh has quit [Ping timeout: 265 seconds]
vidbina_ has joined #yosys
rohitksingh has joined #yosys
rohitksingh has quit [Ping timeout: 268 seconds]
attie has quit [Ping timeout: 268 seconds]
craigo has quit [Read error: Connection reset by peer]
attie has joined #yosys
fsasm has quit [Ping timeout: 265 seconds]
attie has quit [Ping timeout: 265 seconds]
attie has joined #yosys
rohitksingh has joined #yosys
rohitksingh has quit [Ping timeout: 265 seconds]
citypw has quit [Remote host closed the connection]
jakobwenzel has quit [Remote host closed the connection]
s_frit has quit [Remote host closed the connection]
s_frit has joined #yosys
fsasm has joined #yosys
X-Scale has quit [Ping timeout: 240 seconds]
X-Scale` has joined #yosys
X-Scale` is now known as X-Scale
emeb has joined #yosys
az0re has joined #yosys
FabM has quit [Ping timeout: 272 seconds]
Jybz has joined #yosys
<ZirconiumX>
LUT packing is a surprisingly fun exercise. I didn't actually think I'd enjoy writing one as much as I am
<ZirconiumX>
Granted, the rules for packing ALMs are pretty complex
<ZirconiumX>
My code could probably be structured better though
<OK_b00m3r>
ZirconiumX: sounds interesting. you going to blog it etc?
<ZirconiumX>
Maybe I'll write an article on it
<ZirconiumX>
There seems to be a distinct tradeoff between area and time spent packing
<ZirconiumX>
For example, I think an "optimal" packing solution would require you to check if it could be packed with anything else
<ZirconiumX>
OK_b00m3r: ^
<ZirconiumX>
At the moment I have a 1:1 packing ratio for LUT6s (as expected), 1:1 for LUT5s (suboptimal; I think 1.5:1 could be achievable), and 2:1 for LUT4s (as expected, but mostly due a hack)
* OK_b00m3r
nods
<ZirconiumX>
The "correct" way to do it is to look at the existing ALMs and see if we share any wires with them before adding them
<ZirconiumX>
Unfortunately considering I basically picked this up today, I'm not quite talented enough to do that at present
<whitequark>
ZirconiumX: have you seen flowmaps? it's polynomial time optimal LUT packing (without resynthesis)
<whitequark>
*flowmap
<mwk>
whitequark: they're packing LUTs into ALMs, not logic into LUTs
<ZirconiumX>
whitequark: I have seen flowmap; I even filed several bugs against it :P
<ZirconiumX>
But mwk's right
<ZirconiumX>
I'm basically prototyping a nextpnr pass in Yosys
Jybz has quit [Ping timeout: 272 seconds]
dh73 has joined #yosys
<whitequark>
ohhh, sorry
Jybz has joined #yosys
dys has quit [Ping timeout: 245 seconds]
attie has quit [Ping timeout: 265 seconds]
vidbina_ has quit [Ping timeout: 268 seconds]
attie has joined #yosys
<ZirconiumX>
So, PicoSoC. I get ~2.5k ALMs, and
<ZirconiumX>
Quartus gets ~1.9k
<ZirconiumX>
(accidentally hit enter)
<ZirconiumX>
..Actually, about 2.4k in Balanced mode.
<ZirconiumX>
That's surprisingly competitive.
<whitequark>
interesting, 1.9k in size optimized I guess?
m_w has joined #yosys
<ZirconiumX>
Yup, 1,916
<ZirconiumX>
It's probably using a similar algorithm, actually
<ZirconiumX>
Packed 417 ALUT3s into 0 ALMs. <-- I'm sure this won't confuse anybody
<mwk>
now that's a good packer!
<ZirconiumX>
It's free real estate
* N2TOH
waves hello
<ZirconiumX>
Hello
Jybz has quit [Excess Flood]
Jybz has joined #yosys
dys has joined #yosys
s_frit has quit [Ping timeout: 268 seconds]
m_w has quit [Quit: leaving]
attie has quit [Ping timeout: 240 seconds]
attie has joined #yosys
dys has quit [Ping timeout: 268 seconds]
N2TOH has quit [Ping timeout: 272 seconds]
N2TOH has joined #yosys
fsasm has quit [Ping timeout: 268 seconds]
dys has joined #yosys
tmiw has quit [Ping timeout: 240 seconds]
vidbina_ has joined #yosys
tmiw has joined #yosys
Laksen has joined #yosys
Laksen has quit [Quit: Leaving]
vidbina_ has quit [Ping timeout: 258 seconds]
N2TOH has quit [Ping timeout: 268 seconds]
emily has quit [Quit: Updating details, brb]
emily has joined #yosys
N2TOH has joined #yosys
attie has quit [Ping timeout: 240 seconds]
<N2TOH>
Kamilion: what is this bullshit from Xilinx?
<N2TOH>
asking me for company info LOL
<ZirconiumX>
So, I keep stumbling across the Espresso logic minimiser which used to be really popular in the 90's. I've been wondering if that's because it's not as good at modern scales, or just that people forgot about it
<piegames1>
ZirconiumX: I don't think people forgot about it, I learned about it in my first semester
<whitequark>
I would say it fell into obscurity; it was hard to even find the sources when I needed it recently