| *** tpb has joined #yosys | 00:00 | |
| *** show has joined #yosys | 00:01 | |
| *** lf_ has quit IRC | 00:20 | |
| *** lf has joined #yosys | 00:20 | |
| *** aquijoule__ has joined #yosys | 00:46 | |
| *** aquijoule_ has quit IRC | 00:48 | |
| *** citypw has joined #yosys | 02:29 | |
| *** Degi has quit IRC | 03:45 | |
| *** Degi_ has joined #yosys | 03:45 | |
| *** Degi_ is now known as Degi | 03:45 | |
| *** s_frit has quit IRC | 04:04 | |
| *** s_frit has joined #yosys | 04:05 | |
| *** citypw has quit IRC | 04:35 | |
| *** jfcaron has quit IRC | 04:49 | |
| *** srk has quit IRC | 05:49 | |
| *** srk has joined #yosys | 05:50 | |
| *** danvet has joined #yosys | 06:41 | |
| *** futarisIRCcloud has quit IRC | 06:48 | |
| *** futarisIRCcloud has joined #yosys | 06:49 | |
| *** emeb_mac has quit IRC | 07:00 | |
| *** mndza has joined #yosys | 07:01 | |
| *** Guest66867 has joined #yosys | 07:33 | |
| *** s_frit has quit IRC | 07:35 | |
| *** Guest66867 has quit IRC | 07:57 | |
| *** s_frit has joined #yosys | 07:58 | |
| *** vidbina_ has joined #yosys | 08:20 | |
| *** forrestv has quit IRC | 08:24 | |
| *** forrestv has joined #yosys | 08:25 | |
| *** ZipCPU has quit IRC | 08:57 | |
| *** nengel has joined #yosys | 09:17 | |
| *** jakobwenzel has joined #yosys | 09:34 | |
| *** Thorn has quit IRC | 09:47 | |
| *** nengel has quit IRC | 10:12 | |
| *** nengel has joined #yosys | 10:22 | |
| *** wifasoi has joined #yosys | 10:34 | |
| *** ZipCPU has joined #yosys | 11:16 | |
| *** rswarbrick has joined #yosys | 12:05 | |
| rswarbrick | Hi all! I've *finally* got back to the bind support stuff that I was working on months ago. I've managed to resurrect the patches and everything is building again, and I'd appreciate some hints on writing testcases. | 12:06 |
|---|---|---|
| rswarbrick | If I have a design and know what it should elaborate to after binding, what's the best way to "test" that it works right? Some sort of equivalence check? Some assertion (that checks it can completely fold away the test)? Something else? | 12:07 |
| *** nengel has quit IRC | 12:22 | |
| rswarbrick | Ahah, I've just found various/port_sign_extend.ys: I'll do something like that. | 12:32 |
| *** citypw has joined #yosys | 12:42 | |
| *** citypw has quit IRC | 13:00 | |
| *** jakobwenzel has quit IRC | 13:23 | |
| *** nengel has joined #yosys | 13:33 | |
| *** citypw has joined #yosys | 14:00 | |
| *** vancz_ has joined #yosys | 14:47 | |
| *** jakobwenzel has joined #yosys | 14:49 | |
| *** citypw has quit IRC | 15:05 | |
| *** Jybz has joined #yosys | 15:19 | |
| *** emeb has joined #yosys | 15:20 | |
| *** mndza has quit IRC | 15:21 | |
| *** mndza has joined #yosys | 15:22 | |
| *** jakobwenzel1 has joined #yosys | 16:45 | |
| *** jakobwenzel has quit IRC | 16:45 | |
| *** jakobwenzel1 is now known as jakobwenzel | 16:45 | |
| *** srk has quit IRC | 17:00 | |
| *** srk has joined #yosys | 17:00 | |
| *** mndza has quit IRC | 17:19 | |
| *** Jybz has quit IRC | 17:28 | |
| *** emeb_mac has joined #yosys | 17:30 | |
| *** Jybz has joined #yosys | 17:32 | |
| *** FFY00 has quit IRC | 17:36 | |
| *** FFY00 has joined #yosys | 17:52 | |
| *** mndza has joined #yosys | 18:08 | |
| *** Jybz has quit IRC | 18:13 | |
| *** Jybz has joined #yosys | 18:14 | |
| *** Jybz has joined #yosys | 18:14 | |
| *** Jybz has joined #yosys | 18:15 | |
| *** rswarbrick has quit IRC | 18:19 | |
| *** Jybz has quit IRC | 18:20 | |
| *** Jybz has joined #yosys | 18:21 | |
| *** danvet has quit IRC | 18:27 | |
| *** mndza has quit IRC | 19:03 | |
| *** peepsalot has quit IRC | 19:08 | |
| *** nengel has quit IRC | 19:09 | |
| *** nengel has joined #yosys | 19:27 | |
| *** nengel has quit IRC | 19:44 | |
| *** Jybz has quit IRC | 19:45 | |
| *** jakobwenzel1 has joined #yosys | 19:56 | |
| *** jakobwenzel has quit IRC | 19:56 | |
| *** jakobwenzel1 is now known as jakobwenzel | 19:56 | |
| *** X-Scale` has joined #yosys | 19:56 | |
| *** X-Scale has quit IRC | 19:59 | |
| *** X-Scale` is now known as X-Scale | 19:59 | |
| *** jakobwenzel has quit IRC | 20:03 | |
| *** peepsalot has joined #yosys | 20:10 | |
| *** jakobwenzel has joined #yosys | 20:30 | |
| *** jakobwenzel has quit IRC | 20:43 | |
| *** jakobwenzel has joined #yosys | 20:50 | |
| *** jakobwenzel has quit IRC | 20:52 | |
| *** jakobwenzel has joined #yosys | 20:52 | |
| *** jakobwenzel has quit IRC | 21:06 | |
| *** nengel has joined #yosys | 22:44 | |
| *** jfcaron has joined #yosys | 23:06 | |
| *** nengel has quit IRC | 23:14 | |
| *** indy has quit IRC | 23:20 | |
| *** emeb has quit IRC | 23:24 | |
| *** indy has joined #yosys | 23:27 | |
| *** sensille has quit IRC | 23:34 | |
| *** vidbina_ has quit IRC | 23:51 | |
Generated by irclog2html.py 2.17.2 by Marius Gedminas - find it at https://mg.pov.lt/irclog2html/!