| *** tpb <[email protected]> has joined #yosys | 00:00 | |
| *** MoeIcenowy <MoeIcenowy!~MoeIcenow@2001:19f0:7002:866:c2b3:ebb5:95e:be08> has quit IRC (Read error: Connection reset by peer) | 00:21 | |
| *** MoeIcenowy <[email protected]> has joined #yosys | 00:42 | |
| *** gordonDrogon <[email protected]> has quit IRC (Ping timeout: 240 seconds) | 06:33 | |
| *** gordonDrogon <[email protected]> has joined #yosys | 06:33 | |
| *** GenTooMan <GenTooMan!~cyberman@2601:547:437f:e5c6:21f:5bff:fefe:a883> has quit IRC (Ping timeout: 244 seconds) | 06:53 | |
| *** acathla <[email protected]> has quit IRC (Ping timeout: 240 seconds) | 07:24 | |
| *** acathla <[email protected]> has joined #yosys | 07:25 | |
| *** GenTooMan <[email protected]> has joined #yosys | 07:39 | |
| *** GenTooMan <[email protected]> has quit IRC (Ping timeout: 240 seconds) | 07:45 | |
| *** GenTooMan <GenTooMan!~cyberman@2601:547:437f:e5c6:21f:5bff:fefe:a883> has joined #yosys | 07:58 | |
| *** GenTooMan <GenTooMan!~cyberman@2601:547:437f:e5c6:21f:5bff:fefe:a883> has quit IRC (Ping timeout: 244 seconds) | 08:34 | |
| *** MoeIcenowy <[email protected]> has quit IRC (Ping timeout: 240 seconds) | 09:17 | |
| *** kraiskil <kraiskil!~kraiskil@10.121.104.92.dynamic.wline.res.cust.swisscom.ch> has joined #yosys | 09:20 | |
| *** kraiskil <kraiskil!~kraiskil@10.121.104.92.dynamic.wline.res.cust.swisscom.ch> has quit IRC (Read error: No route to host) | 09:33 | |
| *** kraiskil_ <kraiskil_!~kraiskil@10.121.104.92.dynamic.wline.res.cust.swisscom.ch> has joined #yosys | 09:33 | |
| *** MoeIcenowy <MoeIcenowy!~MoeIcenow@2001:19f0:7002:866:c2b3:ebb5:95e:be08> has joined #yosys | 09:35 | |
| *** kraiskil_ <kraiskil_!~kraiskil@10.121.104.92.dynamic.wline.res.cust.swisscom.ch> has quit IRC (Ping timeout: 240 seconds) | 09:59 | |
| *** kraiskil_ <kraiskil_!~kraiskil@10.121.104.92.dynamic.wline.res.cust.swisscom.ch> has joined #yosys | 10:01 | |
| *** GenTooMan <[email protected]> has joined #yosys | 10:13 | |
| *** kraiskil_ <kraiskil_!~kraiskil@10.121.104.92.dynamic.wline.res.cust.swisscom.ch> has quit IRC (Ping timeout: 240 seconds) | 10:15 | |
| *** kraiskil_ <[email protected]> has joined #yosys | 10:28 | |
| *** GenTooMan <[email protected]> has quit IRC (Remote host closed the connection) | 11:25 | |
| *** GenTooMan <GenTooMan!~cyberman@2601:547:437f:e5c6:21f:5bff:fefe:a883> has joined #yosys | 11:25 | |
| *** grmbl <grmbl!~grmbl@user/grmr> has left #yosys | 11:38 | |
| *** kraiskil_ <[email protected]> has quit IRC (Ping timeout: 272 seconds) | 13:30 | |
| josuah | ikskuh: hello! late answer, sorry... I had some troubles with verilog features not being supported by yosys | 14:32 |
|---|---|---|
| josuah | so eventually there will be warnings issued | 14:32 |
| josuah | if you suspect one signal in particular, you could also inspect the """ "bits": { 1, 2, 2, 3, 3, 3, 3 }, """ (example numbers) sections of the verilog file | 14:34 |
| josuah | if instead of numbers, there are """ "bits": [ "x", "x", "x" ] """, but the signal should be used, maybe something wrong did happen | 14:35 |
| josuah | in that case, upgrading yosys could eventually help | 14:35 |
| ikskuh | josuah: thanks, i figured it out | 14:42 |
| ikskuh | i was ... quite stupid :D | 14:42 |
| ikskuh | what also happened was that the bram took some clocks to be initialized | 14:42 |
| ikskuh | so the first memory fetch was still 0 | 14:42 |
| josuah | I am not sure I could figure as much :) glad it did! | 14:45 |
| ikskuh | yeah, i'm pretty good at debugging random shit ^^ | 14:52 |
| ikskuh | logic analyzer with 8 bit output is quite helpful | 14:52 |
| ikskuh | last thing i logged was just the data on the bus | 14:52 |
| ikskuh | and i recognized "B7" which was the second data word | 14:52 |
| ikskuh | and before that was "00" which was definitly not what i was expecting | 14:52 |
| ikskuh | introducing a 3 clock delay and it worked | 14:53 |
| josuah | in the various tooling for HDL, I see a lot of coverage for the happy path, but not so much for the "oops, that went unexpected" | 15:23 |
| josuah | like large complex verification libraries and ecosystem | 15:24 |
| josuah | but what if you need to debug a bug *through* all of these layers, with no idea on which layer it might be | 15:24 |
| josuah | for that, having a very thin layer and tools targetted at inspection help | 15:25 |
| josuah | > logic analyzer | 15:26 |
| josuah | like this :) | 15:26 |
| josuah | ikskuh: may I ask which one do you have? | 15:26 |
| josuah | I had not much luck with sigrok on my side | 15:26 |
| *** kraiskil_ <[email protected]> has joined #yosys | 15:33 | |
| ikskuh | i have a cheap SALEAE clone | 15:44 |
| ikskuh | 80€ with shipping from aliexpress | 15:44 |
| *** GenTooMan <GenTooMan!~cyberman@2601:547:437f:e5c6:21f:5bff:fefe:a883> has quit IRC (Ping timeout: 260 seconds) | 16:37 | |
| *** GenTooMan <GenTooMan!~cyberman@2601:547:437f:e5c6:21f:5bff:fefe:a883> has joined #yosys | 16:40 | |
| *** kraiskil_ <[email protected]> has quit IRC (Ping timeout: 272 seconds) | 16:50 | |
| *** pbsds <[email protected]> has joined #yosys | 17:06 | |
| *** kraiskil_ <[email protected]> has joined #yosys | 17:39 | |
| *** GenTooMan <GenTooMan!~cyberman@2601:547:437f:e5c6:21f:5bff:fefe:a883> has quit IRC (Ping timeout: 244 seconds) | 17:49 | |
| *** ZipCPU <[email protected]> has quit IRC (Ping timeout: 244 seconds) | 18:18 | |
| *** ZipCPU <[email protected]> has joined #yosys | 18:22 | |
| *** kraiskil_ <[email protected]> has quit IRC (Ping timeout: 268 seconds) | 18:26 | |
| *** GenTooMan <GenTooMan!~cyberman@2601:547:437f:e5c6:21f:5bff:fefe:a883> has joined #yosys | 18:35 | |
| *** lumo_e <[email protected]> has joined #yosys | 20:33 | |
| *** nonchip <[email protected]> has quit IRC (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) | 22:03 | |
| *** nonchip <[email protected]> has joined #yosys | 22:04 | |
Generated by irclog2html.py 2.17.2 by Marius Gedminas - find it at https://mg.pov.lt/irclog2html/!