| *** tpb has joined #yosys | 00:00 | |
| *** lf_ has quit IRC | 00:44 | |
| *** lf has joined #yosys | 00:44 | |
| *** s_frit has quit IRC | 00:48 | |
| *** s_frit has joined #yosys | 00:49 | |
| *** citypw_ has joined #yosys | 01:26 | |
| *** futarisIRCcloud has quit IRC | 02:45 | |
| *** Degi_ has joined #yosys | 03:46 | |
| *** Degi has quit IRC | 03:47 | |
| *** Degi_ is now known as Degi | 03:47 | |
| *** futarisIRCcloud has joined #yosys | 03:52 | |
| *** pacak has quit IRC | 04:02 | |
| *** pacak has joined #yosys | 04:02 | |
| *** bwidawsk has quit IRC | 04:08 | |
| *** Raito_Bezarius has quit IRC | 04:08 | |
| *** pepijndevos has quit IRC | 04:08 | |
| *** wiizzard has quit IRC | 04:08 | |
| *** unkraut has quit IRC | 04:08 | |
| *** ovf has quit IRC | 04:08 | |
| *** wiizzard has joined #yosys | 04:14 | |
| *** unkraut has joined #yosys | 04:14 | |
| *** ovf has joined #yosys | 04:14 | |
| *** notafile has quit IRC | 04:20 | |
| *** wiizzard has quit IRC | 04:20 | |
| *** fevv8[m] has quit IRC | 04:20 | |
| *** promach3 has quit IRC | 04:20 | |
| *** jryans has quit IRC | 04:21 | |
| *** bwidawsk has joined #yosys | 04:34 | |
| *** Raito_Bezarius has joined #yosys | 04:34 | |
| *** pepijndevos has joined #yosys | 04:34 | |
| *** bwidawsk has quit IRC | 04:35 | |
| *** Raito_Bezarius has quit IRC | 04:35 | |
| *** pepijndevos has quit IRC | 04:36 | |
| *** bwidawsk has joined #yosys | 04:38 | |
| *** Raito_Bezarius has joined #yosys | 04:38 | |
| *** pepijndevos has joined #yosys | 04:38 | |
| *** promach3 has joined #yosys | 04:43 | |
| *** wiizzard has joined #yosys | 04:43 | |
| *** notafile has joined #yosys | 04:45 | |
| *** fevv8[m] has joined #yosys | 04:49 | |
| *** bwidawsk has quit IRC | 04:54 | |
| *** Raito_Bezarius has quit IRC | 04:54 | |
| *** pepijndevos has quit IRC | 04:54 | |
| *** bwidawsk has joined #yosys | 04:57 | |
| *** Raito_Bezarius has joined #yosys | 04:57 | |
| *** pepijndevos has joined #yosys | 04:57 | |
| *** Raito_Bezarius has quit IRC | 04:57 | |
| *** notafile has quit IRC | 05:00 | |
| *** promach3 has quit IRC | 05:00 | |
| *** fevv8[m] has quit IRC | 05:03 | |
| *** wiizzard has quit IRC | 05:03 | |
| *** jryans has joined #yosys | 06:02 | |
| *** notafile has joined #yosys | 06:10 | |
| *** promach3 has joined #yosys | 06:15 | |
| *** wiizzard has joined #yosys | 06:15 | |
| *** fevv8[m] has joined #yosys | 06:16 | |
| *** citypw_ has quit IRC | 06:16 | |
| *** jfcaron has quit IRC | 06:23 | |
| *** futarisIRCcloud has quit IRC | 06:51 | |
| *** emeb_mac has quit IRC | 06:55 | |
| * promach3 uploaded an image: image.png (166KiB) < https://matrix.org/_matrix/media/r0/download/matrix.org/BqpUwZjcQIrDzzEoEuZllClr/image.png > | 06:55 | |
| promach3 | Anyone familiar with formally verification of `always @(*)` ? | 06:55 |
|---|---|---|
| promach3 | https://github.com/promach/noc/blob/development/spidergon_top.v#L566-L615 | 06:55 |
| promach3 | as in doing `assert()` for `always @(*)` | 06:55 |
| promach3 | along side with `for` loop | 06:56 |
| *** mndza has joined #yosys | 07:10 | |
| *** gmc has quit IRC | 07:42 | |
| *** X-Scale` has joined #yosys | 07:43 | |
| *** X-Scale has quit IRC | 07:43 | |
| *** X-Scale` is now known as X-Scale | 07:44 | |
| *** gmc has joined #yosys | 07:58 | |
| *** vidbina has joined #yosys | 08:05 | |
| *** jakobwenzel has joined #yosys | 08:21 | |
| *** mancaus has joined #yosys | 08:44 | |
| *** citypw_ has joined #yosys | 08:46 | |
| *** nengel has joined #yosys | 09:43 | |
| *** s_frit_ has joined #yosys | 10:12 | |
| *** s_frit has quit IRC | 10:13 | |
| *** s_frit_ has quit IRC | 10:37 | |
| *** s_frit has joined #yosys | 10:37 | |
| corecode | hmm i think i'm having an issue with my ice5lp1k being treated as ice5lp4k with its EBR | 10:38 |
| corecode | but maybe it is also my ice5lp support in nextpnr | 10:39 |
| corecode | i wonder how i can debug this | 10:39 |
| corecode | or fix | 10:39 |
| *** nengel has quit IRC | 10:46 | |
| corecode | or not. | 10:52 |
| *** nengel has joined #yosys | 10:57 | |
| corecode | i guess some other code did something weird, nevermind | 10:58 |
| corecode | scratch that. actually related to the block ram | 11:11 |
| *** vidbina has quit IRC | 11:46 | |
| *** vidbina has joined #yosys | 12:11 | |
| *** vidbina has quit IRC | 12:19 | |
| *** dkozel has joined #yosys | 12:40 | |
| *** AdamHord- has quit IRC | 12:41 | |
| *** FFY00 has quit IRC | 12:52 | |
| *** vidbina has joined #yosys | 12:52 | |
| *** AdamHorden has joined #yosys | 13:15 | |
| *** nengel has quit IRC | 13:19 | |
| *** AdamHorden has quit IRC | 13:22 | |
| *** futarisIRCcloud has joined #yosys | 13:28 | |
| *** nengel has joined #yosys | 13:31 | |
| *** FFY00 has joined #yosys | 13:41 | |
| *** AdamHorden has joined #yosys | 13:42 | |
| lambda | fun fact: soon, half of all commits in the yosys repo will have been made after the latest release :p | 14:14 |
| *** jakobwenzel has quit IRC | 15:04 | |
| *** jakobwenzel has joined #yosys | 15:11 | |
| *** vidbina has quit IRC | 15:15 | |
| *** X-Scale has quit IRC | 15:15 | |
| *** jakobwenzel has quit IRC | 15:19 | |
| *** emeb_mac has joined #yosys | 15:21 | |
| *** craigo has joined #yosys | 15:23 | |
| *** mndza has quit IRC | 15:30 | |
| *** mndza has joined #yosys | 15:31 | |
| *** jakobwenzel has joined #yosys | 16:11 | |
| *** jakobwenzel has quit IRC | 16:29 | |
| *** jakobwenzel has joined #yosys | 16:32 | |
| *** flammit has quit IRC | 16:37 | |
| *** benreynwar has quit IRC | 16:37 | |
| *** sorear has quit IRC | 16:37 | |
| *** emilazy has quit IRC | 16:37 | |
| *** ktemkin has quit IRC | 16:37 | |
| *** y2kbugger has quit IRC | 16:37 | |
| *** daveshah has quit IRC | 16:37 | |
| *** davidlattimore has quit IRC | 16:38 | |
| *** dnm has quit IRC | 16:38 | |
| *** esden has quit IRC | 16:38 | |
| *** lukego has quit IRC | 16:38 | |
| *** thoughtpolice has quit IRC | 16:38 | |
| *** acertain has quit IRC | 16:38 | |
| *** ric96 has quit IRC | 16:38 | |
| *** carlomaragno has quit IRC | 16:38 | |
| *** bubble_buster has quit IRC | 16:38 | |
| *** futarisIRCcloud has quit IRC | 16:38 | |
| *** litghost has quit IRC | 16:38 | |
| *** tannewt has quit IRC | 16:38 | |
| *** mithro has quit IRC | 16:38 | |
| *** rjeli has quit IRC | 16:38 | |
| *** ovf has quit IRC | 16:38 | |
| *** flammit has joined #yosys | 16:39 | |
| *** futarisIRCcloud has joined #yosys | 16:40 | |
| *** rohitksingh has quit IRC | 16:40 | |
| *** y2kbugger has joined #yosys | 16:40 | |
| *** benreynwar has joined #yosys | 16:40 | |
| *** davidlattimore has joined #yosys | 16:40 | |
| *** daveshah has joined #yosys | 16:40 | |
| *** dnm has joined #yosys | 16:40 | |
| *** rjeli has joined #yosys | 16:41 | |
| *** ovf has joined #yosys | 16:42 | |
| *** lukego has joined #yosys | 16:42 | |
| *** esden has joined #yosys | 16:44 | |
| *** thoughtpolice has joined #yosys | 16:45 | |
| *** daveshah has quit IRC | 16:45 | |
| *** sorear has joined #yosys | 16:45 | |
| *** ric96 has joined #yosys | 16:46 | |
| *** jakobwenzel has quit IRC | 16:49 | |
| *** citypw_ has quit IRC | 16:50 | |
| *** bubble_buster has joined #yosys | 16:50 | |
| *** emilazy has joined #yosys | 16:50 | |
| *** rohitksingh has joined #yosys | 16:53 | |
| *** emilazy has quit IRC | 16:55 | |
| *** jfcaron has joined #yosys | 16:56 | |
| *** tannewt has joined #yosys | 16:56 | |
| *** bubble_buster has quit IRC | 16:56 | |
| *** acertain has joined #yosys | 16:56 | |
| *** ktemkin has joined #yosys | 16:56 | |
| *** bubble_buster has joined #yosys | 16:56 | |
| *** emilazy has joined #yosys | 16:57 | |
| *** daveshah has joined #yosys | 16:58 | |
| *** FFY00 has quit IRC | 16:59 | |
| *** carlomaragno has joined #yosys | 16:59 | |
| *** vidbina has joined #yosys | 17:00 | |
| *** mithro has joined #yosys | 17:00 | |
| *** litghost has joined #yosys | 17:01 | |
| *** kraiskil has joined #yosys | 17:04 | |
| *** s_frit has quit IRC | 17:15 | |
| *** s_frit has joined #yosys | 17:16 | |
| *** bubble_buster has quit IRC | 17:17 | |
| *** emilazy has quit IRC | 17:17 | |
| *** carlomaragno has quit IRC | 17:18 | |
| *** mithro has quit IRC | 17:18 | |
| *** bubble_buster has joined #yosys | 17:19 | |
| *** emilazy has joined #yosys | 17:19 | |
| *** carlomaragno has joined #yosys | 17:19 | |
| *** daveshah has quit IRC | 17:19 | |
| *** jakobwenzel has joined #yosys | 17:21 | |
| *** mithro has joined #yosys | 17:21 | |
| *** jakobwenzel1 has joined #yosys | 17:23 | |
| *** jakobwenzel1 has quit IRC | 17:25 | |
| *** jakobwenzel has quit IRC | 17:25 | |
| *** FFY00 has joined #yosys | 17:27 | |
| *** mancaus has quit IRC | 17:29 | |
| *** mancaus has joined #yosys | 17:29 | |
| *** craigo has quit IRC | 17:32 | |
| *** daveshah has joined #yosys | 17:34 | |
| *** nengel has quit IRC | 17:40 | |
| *** nengel has joined #yosys | 17:54 | |
| *** emilazy has quit IRC | 18:00 | |
| *** rjeli has quit IRC | 18:00 | |
| *** emilazy has joined #yosys | 18:01 | |
| *** rjeli has joined #yosys | 18:01 | |
| *** rohitksingh has quit IRC | 18:02 | |
| *** esden has quit IRC | 18:04 | |
| *** tannewt has quit IRC | 18:04 | |
| *** thoughtpolice has quit IRC | 18:04 | |
| *** ovf has quit IRC | 18:04 | |
| *** tannewt has joined #yosys | 18:04 | |
| *** thoughtpolice has joined #yosys | 18:04 | |
| *** acertain has quit IRC | 18:04 | |
| *** esden has joined #yosys | 18:04 | |
| *** acertain has joined #yosys | 18:05 | |
| *** ovf has joined #yosys | 18:06 | |
| *** X-Scale has joined #yosys | 18:08 | |
| *** tannewt has quit IRC | 18:14 | |
| *** acertain has quit IRC | 18:14 | |
| *** esden has quit IRC | 18:14 | |
| *** emilazy has quit IRC | 18:14 | |
| *** thoughtpolice has quit IRC | 18:14 | |
| *** rjeli has quit IRC | 18:14 | |
| *** tannewt has joined #yosys | 18:15 | |
| *** ovf has quit IRC | 18:15 | |
| *** dnm has quit IRC | 18:17 | |
| *** benreynwar has quit IRC | 18:17 | |
| *** flammit has quit IRC | 18:17 | |
| *** carlomaragno has quit IRC | 18:17 | |
| *** lukego has quit IRC | 18:17 | |
| *** benreynwar has joined #yosys | 18:18 | |
| *** dnm has joined #yosys | 18:18 | |
| *** emilazy has joined #yosys | 18:18 | |
| *** flammit has joined #yosys | 18:18 | |
| *** rjeli has joined #yosys | 18:18 | |
| *** acertain has joined #yosys | 18:18 | |
| *** esden has joined #yosys | 18:19 | |
| *** lukego has joined #yosys | 18:19 | |
| *** carlomaragno has joined #yosys | 18:19 | |
| *** rohitksingh has joined #yosys | 18:19 | |
| *** thoughtpolice has joined #yosys | 18:20 | |
| *** ovf has joined #yosys | 18:21 | |
| *** emilazy has quit IRC | 18:25 | |
| *** lukego has quit IRC | 18:25 | |
| *** dnm has quit IRC | 18:25 | |
| *** flammit has quit IRC | 18:25 | |
| *** benreynwar has quit IRC | 18:25 | |
| *** carlomaragno has quit IRC | 18:25 | |
| *** thoughtpolice has quit IRC | 18:25 | |
| *** esden has quit IRC | 18:25 | |
| *** rjeli has quit IRC | 18:25 | |
| *** acertain has quit IRC | 18:25 | |
| *** rohitksingh has quit IRC | 18:27 | |
| *** ovf has quit IRC | 18:27 | |
| *** flammit has joined #yosys | 18:31 | |
| *** benreynwar has joined #yosys | 18:31 | |
| *** thoughtpolice has joined #yosys | 18:31 | |
| *** carlomaragno has joined #yosys | 18:31 | |
| *** dnm has joined #yosys | 18:31 | |
| *** acertain has joined #yosys | 18:31 | |
| *** rjeli has joined #yosys | 18:32 | |
| *** rohitksingh has joined #yosys | 18:32 | |
| *** esden has joined #yosys | 18:32 | |
| *** emilazy has joined #yosys | 18:33 | |
| *** lukego has joined #yosys | 18:33 | |
| *** ovf has joined #yosys | 18:34 | |
| *** smarter has joined #yosys | 18:46 | |
| *** vidbina has quit IRC | 18:53 | |
| *** emilazy has quit IRC | 18:54 | |
| *** benreynwar has quit IRC | 18:54 | |
| *** carlomaragno has quit IRC | 18:54 | |
| *** flammit has quit IRC | 18:54 | |
| *** thoughtpolice has quit IRC | 18:54 | |
| *** acertain has quit IRC | 18:55 | |
| *** rjeli has quit IRC | 18:55 | |
| *** lukego has quit IRC | 18:55 | |
| *** ovf has quit IRC | 18:55 | |
| *** rqou_ has joined #yosys | 18:55 | |
| *** benreynwar has joined #yosys | 18:56 | |
| *** jryans has quit IRC | 18:56 | |
| *** rqou has quit IRC | 18:56 | |
| *** rqou_ is now known as rqou | 18:56 | |
| *** dnm has quit IRC | 18:56 | |
| *** rohitksingh has quit IRC | 18:57 | |
| *** vidbina has joined #yosys | 19:00 | |
| *** jryans has joined #yosys | 19:00 | |
| *** rjeli has joined #yosys | 19:00 | |
| *** rohitksingh has joined #yosys | 19:05 | |
| *** dnm has joined #yosys | 19:05 | |
| *** rohitksingh has quit IRC | 19:10 | |
| *** dnm has quit IRC | 19:10 | |
| *** rohitksingh has joined #yosys | 19:13 | |
| *** dnm has joined #yosys | 19:14 | |
| *** thoughtpolice has joined #yosys | 19:14 | |
| *** acertain has joined #yosys | 19:15 | |
| *** ovf has joined #yosys | 19:16 | |
| *** carlomaragno has joined #yosys | 19:19 | |
| *** flammit has joined #yosys | 19:19 | |
| *** emilazy has joined #yosys | 19:20 | |
| *** lukego has joined #yosys | 19:22 | |
| *** vidbina has quit IRC | 19:30 | |
| *** dnm has quit IRC | 19:40 | |
| *** lukego has quit IRC | 19:40 | |
| *** emilazy has quit IRC | 19:40 | |
| *** flammit has quit IRC | 19:40 | |
| *** carlomaragno has quit IRC | 19:40 | |
| *** captain_morgan has quit IRC | 19:42 | |
| *** emilazy has joined #yosys | 19:42 | |
| *** rohitksingh has quit IRC | 19:42 | |
| *** dnm has joined #yosys | 19:43 | |
| *** flammit has joined #yosys | 19:43 | |
| *** lukego has joined #yosys | 19:43 | |
| *** carlomaragno has joined #yosys | 19:45 | |
| *** captain_morgan has joined #yosys | 19:45 | |
| *** rohitksingh has joined #yosys | 19:54 | |
| *** s_frit_ has joined #yosys | 20:22 | |
| *** s_frit has quit IRC | 20:23 | |
| *** vidbina has joined #yosys | 20:42 | |
| *** acertain has quit IRC | 20:43 | |
| *** thoughtpolice has quit IRC | 20:44 | |
| *** thoughtpolice has joined #yosys | 20:46 | |
| *** acertain has joined #yosys | 20:50 | |
| *** nengel has quit IRC | 20:52 | |
| *** mndza has quit IRC | 20:56 | |
| *** richbridger has quit IRC | 21:12 | |
| *** s_frit_ has quit IRC | 21:34 | |
| *** s_frit has joined #yosys | 21:34 | |
| *** kraiskil has quit IRC | 21:38 | |
| *** wiizzard has quit IRC | 21:50 | |
| *** promach3 has quit IRC | 21:50 | |
| *** jryans has quit IRC | 21:51 | |
| *** fevv8[m] has quit IRC | 21:51 | |
| *** notafile has quit IRC | 21:51 | |
| *** atk has quit IRC | 21:51 | |
| *** atk has joined #yosys | 21:52 | |
| *** oter has quit IRC | 21:52 | |
| *** FFY00 has quit IRC | 21:54 | |
| *** unkraut has quit IRC | 22:29 | |
| *** unkraut has joined #yosys | 22:30 | |
| *** FFY00 has joined #yosys | 22:49 | |
| *** promach3 has joined #yosys | 23:17 | |
| *** promach3 has quit IRC | 23:23 | |
| *** fevv8[m] has joined #yosys | 23:34 | |
| *** jrawson has quit IRC | 23:43 | |
| *** jrawson has joined #yosys | 23:44 | |
| *** notafile has joined #yosys | 23:54 | |
| *** wiizzard has joined #yosys | 23:54 | |
| *** promach3 has joined #yosys | 23:54 | |
| *** jryans has joined #yosys | 23:54 | |
Generated by irclog2html.py 2.17.2 by Marius Gedminas - find it at https://mg.pov.lt/irclog2html/!
