| *** tpb has joined #yosys | 00:00 | |
| *** promach3 has quit IRC | 00:34 | |
| *** Laksen has quit IRC | 01:22 | |
| *** futarisIRCcloud has joined #yosys | 02:14 | |
| *** cr1901_modern has quit IRC | 03:31 | |
| *** cr1901_modern has joined #yosys | 03:33 | |
| *** s_frit has quit IRC | 04:40 | |
| *** s_frit has joined #yosys | 04:41 | |
| *** attie has joined #yosys | 05:07 | |
| *** attie has quit IRC | 05:12 | |
| *** rohitksingh has joined #yosys | 05:32 | |
| *** rohitksingh has quit IRC | 05:48 | |
| *** rohitksingh has joined #yosys | 05:57 | |
| *** awordnot has quit IRC | 06:10 | |
| *** rohitksingh has quit IRC | 06:16 | |
| *** rohitksingh has joined #yosys | 06:24 | |
| *** dys has joined #yosys | 06:32 | |
| *** craigo has joined #yosys | 06:32 | |
| *** s_frit has quit IRC | 07:10 | |
| *** bwidawks has joined #yosys | 07:11 | |
| *** s_frit has joined #yosys | 07:11 | |
| *** dys has quit IRC | 07:15 | |
| *** cr1901_modern has quit IRC | 07:19 | |
| *** tlwoerner has quit IRC | 07:19 | |
| *** Xark has quit IRC | 07:19 | |
| *** bwidawsk has quit IRC | 07:19 | |
| *** nurelin_ has quit IRC | 07:19 | |
| *** pacak has quit IRC | 07:19 | |
| *** plaes has quit IRC | 07:19 | |
| *** Ekho has quit IRC | 07:19 | |
| *** Kamilion has quit IRC | 07:19 | |
| *** bwidawks is now known as bwidawsk | 07:19 | |
| *** Ekho- has joined #yosys | 07:20 | |
| *** awordnot has joined #yosys | 07:21 | |
| *** simeonm has quit IRC | 07:22 | |
| *** simeonm has joined #yosys | 07:24 | |
| *** tlwoerner has joined #yosys | 07:26 | |
| *** pacak has joined #yosys | 07:27 | |
| *** mirage335 has joined #yosys | 07:32 | |
| *** rohitksingh has quit IRC | 07:49 | |
| *** indy has quit IRC | 07:58 | |
| *** cr1901_modern has joined #yosys | 08:02 | |
| *** FabM has joined #yosys | 08:03 | |
| *** indy has joined #yosys | 08:05 | |
| *** Xark has joined #yosys | 08:07 | |
| *** nurelin_ has joined #yosys | 08:07 | |
| *** Kamilion has joined #yosys | 08:07 | |
| *** awordnot has quit IRC | 08:13 | |
| *** awordnot has joined #yosys | 08:13 | |
| *** attie has joined #yosys | 08:26 | |
| *** citypw has joined #yosys | 08:31 | |
| *** rohitksingh has joined #yosys | 09:09 | |
| *** az0re has quit IRC | 09:14 | |
| *** dys has joined #yosys | 09:25 | |
| *** attie has quit IRC | 09:31 | |
| *** rohitksingh has quit IRC | 09:40 | |
| *** rohitksingh has joined #yosys | 09:44 | |
| *** attie has joined #yosys | 09:47 | |
| *** fengling has quit IRC | 10:03 | |
| *** fsasm has joined #yosys | 10:14 | |
| *** captain_morgan20 has quit IRC | 10:16 | |
| *** rohitksingh has quit IRC | 10:20 | |
| *** fengling has joined #yosys | 10:30 | |
| *** m_w has quit IRC | 10:37 | |
| *** attie has quit IRC | 10:53 | |
| *** attie has joined #yosys | 10:57 | |
| *** lansiir has quit IRC | 10:58 | |
| *** rohitksingh has joined #yosys | 11:31 | |
| *** rohitksingh has quit IRC | 11:53 | |
| *** vidbina_ has joined #yosys | 11:53 | |
| *** rohitksingh has joined #yosys | 11:57 | |
| *** rohitksingh has quit IRC | 12:14 | |
| *** attie has quit IRC | 12:42 | |
| *** craigo has quit IRC | 12:43 | |
| *** attie has joined #yosys | 12:48 | |
| *** fsasm has quit IRC | 13:11 | |
| *** attie has quit IRC | 13:26 | |
| *** attie has joined #yosys | 13:42 | |
| *** rohitksingh has joined #yosys | 13:46 | |
| *** rohitksingh has quit IRC | 14:04 | |
| *** citypw has quit IRC | 14:06 | |
| *** jakobwenzel has quit IRC | 14:40 | |
| *** s_frit has quit IRC | 14:54 | |
| *** s_frit has joined #yosys | 14:55 | |
| *** fsasm has joined #yosys | 14:57 | |
| *** X-Scale has quit IRC | 15:02 | |
| *** X-Scale` has joined #yosys | 15:03 | |
| *** X-Scale` is now known as X-Scale | 15:04 | |
| *** emeb has joined #yosys | 15:39 | |
| *** az0re has joined #yosys | 15:40 | |
| *** FabM has quit IRC | 16:06 | |
| *** Jybz has joined #yosys | 16:27 | |
| ZirconiumX | LUT packing is a surprisingly fun exercise. I didn't actually think I'd enjoy writing one as much as I am | 16:36 |
|---|---|---|
| ZirconiumX | Granted, the rules for packing ALMs are pretty complex | 16:37 |
| ZirconiumX | My code could probably be structured better though | 16:37 |
| OK_b00m3r | ZirconiumX: sounds interesting. you going to blog it etc? | 16:41 |
| ZirconiumX | Maybe I'll write an article on it | 16:42 |
| ZirconiumX | There seems to be a distinct tradeoff between area and time spent packing | 16:42 |
| ZirconiumX | For example, I think an "optimal" packing solution would require you to check if it could be packed with anything else | 16:43 |
| ZirconiumX | OK_b00m3r: ^ | 16:44 |
| 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) | 16:45 |
| * OK_b00m3r nods | 16:47 | |
| 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 | 16:48 |
| ZirconiumX | Unfortunately considering I basically picked this up today, I'm not quite talented enough to do that at present | 16:48 |
| whitequark | ZirconiumX: have you seen flowmaps? it's polynomial time optimal LUT packing (without resynthesis) | 16:53 |
| whitequark | *flowmap | 16:54 |
| mwk | whitequark: they're packing LUTs into ALMs, not logic into LUTs | 16:54 |
| ZirconiumX | whitequark: I have seen flowmap; I even filed several bugs against it :P | 16:55 |
| ZirconiumX | But mwk's right | 16:55 |
| ZirconiumX | I'm basically prototyping a nextpnr pass in Yosys | 16:56 |
| *** Jybz has quit IRC | 16:58 | |
| *** dh73 has joined #yosys | 16:58 | |
| whitequark | ohhh, sorry | 16:58 |
| *** Jybz has joined #yosys | 17:00 | |
| *** dys has quit IRC | 17:01 | |
| *** attie has quit IRC | 17:02 | |
| *** vidbina_ has quit IRC | 17:12 | |
| *** attie has joined #yosys | 17:17 | |
| ZirconiumX | So, PicoSoC. I get ~2.5k ALMs, and | 17:17 |
| ZirconiumX | Quartus gets ~1.9k | 17:18 |
| ZirconiumX | (accidentally hit enter) | 17:18 |
| ZirconiumX | ..Actually, about 2.4k in Balanced mode. | 17:19 |
| ZirconiumX | That's surprisingly competitive. | 17:19 |
| whitequark | interesting, 1.9k in size optimized I guess? | 17:22 |
| *** m_w has joined #yosys | 17:24 | |
| ZirconiumX | Yup, 1,916 | 17:25 |
| ZirconiumX | It's probably using a similar algorithm, actually | 17:27 |
| ZirconiumX | Packed 417 ALUT3s into 0 ALMs. <-- I'm sure this won't confuse anybody | 17:57 |
| mwk | now that's a good packer! | 17:57 |
| ZirconiumX | It's free real estate | 17:57 |
| * N2TOH waves hello | 18:03 | |
| ZirconiumX | Hello | 18:03 |
| *** Jybz has quit IRC | 18:08 | |
| *** Jybz has joined #yosys | 18:11 | |
| *** dys has joined #yosys | 18:26 | |
| *** s_frit has quit IRC | 19:02 | |
| *** m_w has quit IRC | 19:03 | |
| *** attie has quit IRC | 19:03 | |
| *** attie has joined #yosys | 19:13 | |
| *** dys has quit IRC | 19:18 | |
| *** N2TOH has quit IRC | 19:58 | |
| *** N2TOH has joined #yosys | 19:59 | |
| *** fsasm has quit IRC | 20:04 | |
| *** dys has joined #yosys | 20:17 | |
| *** tmiw has quit IRC | 20:19 | |
| *** vidbina_ has joined #yosys | 21:07 | |
| *** tmiw has joined #yosys | 21:26 | |
| *** Laksen has joined #yosys | 21:45 | |
| *** Laksen has quit IRC | 21:58 | |
| *** vidbina_ has quit IRC | 21:59 | |
| *** N2TOH has quit IRC | 22:05 | |
| *** emily has quit IRC | 22:11 | |
| *** emily has joined #yosys | 22:12 | |
| *** N2TOH has joined #yosys | 22:12 | |
| *** attie has quit IRC | 22:17 | |
| N2TOH | Kamilion: what is this bullshit from Xilinx? | 22:41 |
| N2TOH | asking me for company info LOL | 22:41 |
| 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 | 23:09 |
| piegames1 | ZirconiumX: I don't think people forgot about it, I learned about it in my first semester | 23:12 |
| whitequark | I would say it fell into obscurity; it was hard to even find the sources when I needed it recently | 23:22 |
| *** Jybz has quit IRC | 23:24 | |
| *** emeb has quit IRC | 23:48 | |
Generated by irclog2html.py 2.13.1 by Marius Gedminas - find it at mg.pov.lt!