*** tpb has joined #yosys | 00:00 | |
*** Thorn has quit IRC | 00:06 | |
*** kuldeep has quit IRC | 00:08 | |
*** jryans has quit IRC | 00:11 | |
*** promach3 has quit IRC | 00:11 | |
*** jryans has joined #yosys | 00:13 | |
*** promach3 has joined #yosys | 00:13 | |
*** kuldeep has joined #yosys | 00:20 | |
*** Asuu has quit IRC | 00:27 | |
*** rlee287 has joined #yosys | 00:36 | |
*** cyrozap has joined #yosys | 01:02 | |
*** SpaceCoaster has quit IRC | 01:31 | |
*** N2TOH has joined #yosys | 01:38 | |
*** craigo has quit IRC | 02:00 | |
*** _whitelogger has quit IRC | 02:05 | |
*** _whitelogger has joined #yosys | 02:07 | |
*** Degi has quit IRC | 02:42 | |
*** Degi has joined #yosys | 02:43 | |
*** ZipCPU has quit IRC | 03:13 | |
*** ZipCPU has joined #yosys | 03:13 | |
*** rlee287 has quit IRC | 03:37 | |
*** craigo has joined #yosys | 03:55 | |
*** Thorn has joined #yosys | 04:06 | |
*** SpaceCoaster has joined #yosys | 04:56 | |
*** dys has joined #yosys | 06:01 | |
*** gmc has quit IRC | 06:18 | |
*** Asu has joined #yosys | 06:19 | |
*** X-Scale` has joined #yosys | 06:27 | |
*** X-Scale has quit IRC | 06:28 | |
*** X-Scale` is now known as X-Scale | 06:28 | |
*** emeb_mac has quit IRC | 06:59 | |
*** Asuu has joined #yosys | 07:22 | |
*** Asu has quit IRC | 07:22 | |
*** jakobwenzel has joined #yosys | 07:47 | |
*** captain_morgan4 has quit IRC | 09:13 | |
*** captain_morgan4 has joined #yosys | 09:14 | |
*** jeanthom has joined #yosys | 09:34 | |
*** futarisIRCcloud has quit IRC | 09:52 | |
*** kraiskil has joined #yosys | 10:21 | |
*** gmc has joined #yosys | 10:43 | |
*** kraiskil has quit IRC | 12:17 | |
*** kraiskil has joined #yosys | 12:33 | |
*** kraiskil has quit IRC | 12:53 | |
*** peepsalot has quit IRC | 13:08 | |
*** Asuu has quit IRC | 13:09 | |
*** craigo has quit IRC | 13:34 | |
*** Asu has joined #yosys | 13:34 | |
*** emeb has joined #yosys | 13:42 | |
*** kraiskil has joined #yosys | 13:52 | |
*** peepsalot has joined #yosys | 14:00 | |
*** futarisIRCcloud has joined #yosys | 14:11 | |
*** mirage335 has quit IRC | 14:20 | |
*** citypw has joined #yosys | 14:36 | |
*** mirage335 has joined #yosys | 14:46 | |
*** citypw has quit IRC | 14:49 | |
*** kgugala has quit IRC | 14:52 | |
*** Asuu has joined #yosys | 14:53 | |
*** Asu has quit IRC | 14:53 | |
*** kraiskil has quit IRC | 14:59 | |
*** vidbina has joined #yosys | 14:59 | |
*** jakobwenzel has quit IRC | 15:14 | |
*** jeanthom has quit IRC | 15:22 | |
*** Asuu has quit IRC | 15:48 | |
*** Asu has joined #yosys | 16:01 | |
*** vidbina has quit IRC | 16:10 | |
*** FFY00 has quit IRC | 16:15 | |
*** FFY00 has joined #yosys | 16:16 | |
*** vidbina has joined #yosys | 16:42 | |
Lofty | ABC can take latches as input, right? | 16:43 |
---|---|---|
daveshah | I _think_ what abc call latches are actually flip-flops | 16:46 |
daveshah | Maybe it supports real latches too though | 16:47 |
Lofty | I was looking at the QuickLogic code and wondering if it would be more efficient to let ABC attempt to pack logic into latches | 16:47 |
*** dys has quit IRC | 16:48 | |
mwk | Lofty: huh? | 16:48 |
mwk | what do you mean by logic into latches? | 16:48 |
Lofty | Imagine you have, say, a cone of logic with a latch and some other logic that fits inside a LUT | 16:49 |
Lofty | What the QL flow does is map the latch manually | 16:50 |
*** kgugala has joined #yosys | 16:50 | |
Lofty | Whereas the mapper could pack some of the logic into the LUT, reducing area | 16:50 |
mwk | oh, like map latch into a LUT | 16:50 |
mwk | that's a much more generic issue than just quicklogic though | 16:50 |
mwk | like half our targets don't really support latches and they end up as logic | 16:51 |
Lofty | That's why I asked if ABC could do it | 16:51 |
Lofty | intel_alm doesn't presently map latches at all :P | 16:51 |
mwk | which tbh I'd like to get rid of (as in, get rid of the current per-target way), and handle it in dfflegalize | 16:51 |
Lofty | Sure | 16:51 |
mwk | anyway I thought you were asking about something else with "pack logic into latches" | 16:52 |
mwk | Xilinx has a fun mode where you can use a latch as an AND gate or as an OR gate | 16:52 |
Lofty | Mmm | 16:53 |
mwk | (which is of course very tricky to use efficiently because it involves turning *all* FFs in a slice into AND/OR gates, and good luck teaching synthesis to notice cases where it's worth it) | 16:54 |
mwk | also I'm going to take a guess the timings for that gate are kinda shit | 16:55 |
*** emeb has quit IRC | 16:57 | |
Lofty | Mmm | 17:00 |
*** emeb_mac has joined #yosys | 17:07 | |
*** vidbina has quit IRC | 17:20 | |
*** az0re has quit IRC | 17:22 | |
*** futarisIRCcloud has quit IRC | 17:51 | |
*** kraiskil has joined #yosys | 17:57 | |
*** SpaceCoaster has quit IRC | 17:59 | |
*** jakobwenzel has joined #yosys | 18:07 | |
*** kraiskil has quit IRC | 18:16 | |
*** az0re has joined #yosys | 18:39 | |
*** futarisIRCcloud has joined #yosys | 18:43 | |
tnt | So, can a (*whitebox*) module be top-level ? If I read_verilog one and then try 'show' it says "Nothing to show". If I remove the (*whitebox*) attrbiute, it works fine. | 18:57 |
tnt | ok, bad example, 'show' fails on the working machine with the old yosys. | 18:59 |
tnt | The real command is 'read_verilog ./symbiflow-arch-defs/quicklogic/primitives/logic/f_frag.sim.v; proc; cd F_FRAG; select F1 %co* o:* %i F1 %d' | 19:00 |
tnt | which works on an "older" yosys (with the (*whitebox*) attr on F_FRAG module) and doesn't on a newer yosys ( I have to remove the whitebox attr ) | 19:01 |
*** X-Scale` has joined #yosys | 19:09 | |
*** X-Scale has quit IRC | 19:10 | |
*** X-Scale` is now known as X-Scale | 19:10 | |
*** X-Scale has quit IRC | 19:23 | |
*** X-Scale` has joined #yosys | 19:24 | |
*** X-Scale` is now known as X-Scale | 19:24 | |
*** jakobwenzel has quit IRC | 19:48 | |
*** N2TOH_ has joined #yosys | 19:51 | |
*** N2TOH has quit IRC | 19:52 | |
*** dys has joined #yosys | 19:52 | |
*** kuldeep has quit IRC | 19:58 | |
*** sandeepkr has quit IRC | 19:58 | |
*** indy_ is now known as indy | 20:00 | |
*** FFY00 has quit IRC | 20:52 | |
*** FFY00 has joined #yosys | 20:53 | |
*** FFY00 has quit IRC | 20:54 | |
*** dys has quit IRC | 21:41 | |
*** Asuu has joined #yosys | 21:45 | |
*** Asu has quit IRC | 21:45 | |
*** az0re has quit IRC | 22:37 | |
*** FFY00 has joined #yosys | 22:43 | |
*** Asuu has quit IRC | 22:47 | |
*** bzztploink has quit IRC | 22:50 | |
*** X-Scale` has joined #yosys | 22:51 | |
*** X-Scale has quit IRC | 22:52 | |
*** X-Scale` is now known as X-Scale | 22:52 | |
*** bzztploink has joined #yosys | 22:54 | |
*** X-Scale` has joined #yosys | 23:05 | |
*** X-Scale has quit IRC | 23:06 | |
*** X-Scale` is now known as X-Scale | 23:06 | |
*** jmamish has joined #yosys | 23:13 | |
*** FFY00 has quit IRC | 23:18 | |
*** FFY00 has joined #yosys | 23:19 | |
*** craigo has joined #yosys | 23:36 | |
*** Cerpin has quit IRC | 23:52 | |
*** Cerpin has joined #yosys | 23:52 |
Generated by irclog2html.py 2.17.2 by Marius Gedminas - find it at https://mg.pov.lt/irclog2html/!