| *** tpb <[email protected]> has joined #yosys | 00:00 | |
| *** lexano <[email protected]> has quit IRC (Ping timeout: 255 seconds) | 01:09 | |
| *** GenTooMan <GenTooMan!~cyberman@2601:547:437f:e5c6:21f:5bff:fefe:a883> has quit IRC (Ping timeout: 248 seconds) | 02:11 | |
| *** GenTooMan <GenTooMan!~cyberman@2601:547:437f:e5c6:21f:5bff:fefe:a883> has joined #yosys | 02:24 | |
| *** GenTooMan <GenTooMan!~cyberman@2601:547:437f:e5c6:21f:5bff:fefe:a883> has quit IRC (Ping timeout: 248 seconds) | 06:17 | |
| *** GenTooMan <GenTooMan!~cyberman@2601:547:437f:e5c6:21f:5bff:fefe:a883> has joined #yosys | 06:29 | |
| *** arogora <[email protected]> has joined #yosys | 09:04 | |
| *** killjoy <killjoy!~nameless@user/killjoy> has quit IRC (Ping timeout: 255 seconds) | 09:04 | |
| *** arogora is now known as killjoy | 09:04 | |
| corecode | Myrl-saki: what does this calculation do? | 09:10 |
|---|---|---|
| corecode | Myrl-saki: is this a common way to express this? | 09:11 |
| corecode | Myrl-saki: can't you just look at the high bits of the address? | 09:11 |
| *** Guest99 <[email protected]> has joined #yosys | 11:38 | |
| Guest99 | Is there anything wrong with this verilog code? | 11:42 |
| Guest99 | It works fine in simulation (icarus) and various linters (verilator, verible) | 11:42 |
| Guest99 | are happy with it. However, yosys errors during synthesis: registers.v:0: | 11:42 |
| Guest99 | ERROR: Identifier `\i' is implicitly declared and `default_nettype is set to | 11:42 |
| Guest99 | none. | 11:42 |
| Guest99 | https://pastebin.com/vGisuDd6 | 11:42 |
| tpb | Title: initial begin integer i; for (i = 0; i < 32; i++) begin memor - Pastebin.com (at pastebin.com) | 11:42 |
| *** chaoticryptidz <chaoticryptidz!~quassel@static.62.145.21.65.clients.your-server.de> has quit IRC (Quit: No Ping reply in 180 seconds.) | 12:33 | |
| *** bluesceada <bluesceada!~dennis@user/bluesceada> has quit IRC (Quit: ZNC - http://znc.sourceforge.net) | 12:33 | |
| *** chaoticryptidz <chaoticryptidz!~quassel@static.62.145.21.65.clients.your-server.de> has joined #yosys | 12:35 | |
| *** _catircservices <_catircservices!catircserv@2a01:4f8:c012:5b7:0:1:0:13e> has quit IRC (Ping timeout: 260 seconds) | 12:35 | |
| *** bluesceada <bluesceada!~dennis@user/bluesceada> has joined #yosys | 12:38 | |
| *** _catircservices <_catircservices!catircserv@2a01:4f8:c012:5b7:0:1:0:13e> has joined #yosys | 12:53 | |
| *** ChanServ sets mode: +o _catircservices | 12:53 | |
| lofty | Guest99: that code by itself looks fine, though perhaps the `integer i` declaration needs to be moved outside the `initial` block? | 13:21 |
| *** _catircservices <_catircservices!catircserv@2a01:4f8:c012:5b7:0:1:0:13e> has quit IRC (Quit: Bridge terminating on SIGTERM) | 13:37 | |
| *** _catircservices <_catircservices!catircserv@2a01:4f8:c012:5b7:0:1:0:163> has joined #yosys | 13:37 | |
| *** ChanServ sets mode: +o _catircservices | 13:37 | |
| Guest99 | lofty: that does fix it, but I wanted to limit to scope of i to avoid accidentally reusing it in a different loop elsewhere in the file. I found a better workaround by extracting the code to a task. It seems like maybe local declarations are not allowed in the always block. But I don't really understand why some tools accept it and others do not. | 13:42 |
| gatecat | another workaround is probably to name the block (e.g. `initial begin: foo`) | 14:27 |
| gatecat | but this does look like a yosys bug | 14:28 |
| *** GenTooMan <GenTooMan!~cyberman@2601:547:437f:e5c6:21f:5bff:fefe:a883> has quit IRC (Ping timeout: 260 seconds) | 14:43 | |
| *** GenTooMan <GenTooMan!~cyberman@2601:547:437f:e5c6:21f:5bff:fefe:a883> has joined #yosys | 15:00 | |
| *** lexano <[email protected]> has joined #yosys | 15:37 | |
| *** GenTooMan <GenTooMan!~cyberman@2601:547:437f:e5c6:21f:5bff:fefe:a883> has quit IRC (Ping timeout: 272 seconds) | 15:44 | |
| *** cyrozap <cyrozap!~cyrozap@2600:1f16:7c0:cf00:a054:926f:77a6:5834> has quit IRC (Quit: ZNC 1.8.2+deb3.1 - https://znc.in) | 16:07 | |
| *** cyrozap <cyrozap!~cyrozap@2600:1f16:7c0:cf00:a054:926f:77a6:5834> has joined #yosys | 16:08 | |
| *** GenTooMan <GenTooMan!~cyberman@2601:547:437f:e5c6:21f:5bff:fefe:a883> has joined #yosys | 16:13 | |
| *** lofty <[email protected]> has quit IRC (Quit: "Bye") | 16:27 | |
| *** Guest99 <[email protected]> has quit IRC (Ping timeout: 245 seconds) | 17:19 | |
| *** GenTooMan <GenTooMan!~cyberman@2601:547:437f:e5c6:21f:5bff:fefe:a883> has quit IRC (Ping timeout: 248 seconds) | 18:00 | |
| *** lofty <[email protected]> has joined #yosys | 18:00 | |
| *** GenTooMan <GenTooMan!~cyberman@2601:547:437f:e5c6:21f:5bff:fefe:a883> has joined #yosys | 18:15 | |
| *** GenTooMan <GenTooMan!~cyberman@2601:547:437f:e5c6:21f:5bff:fefe:a883> has quit IRC (Ping timeout: 248 seconds) | 18:21 | |
| *** lofty <[email protected]> has quit IRC (Quit: ZNC - https://znc.in) | 22:03 | |
| *** GenTooMan <GenTooMan!~cyberman@2601:547:437f:e5c6:21f:5bff:fefe:a883> has joined #yosys | 22:04 | |
| *** lofty <[email protected]> has joined #yosys | 22:09 | |
| *** nonchip <[email protected]> has quit IRC (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) | 22:18 | |
| *** nonchip <[email protected]> has joined #yosys | 22:18 | |
| *** chaoticryptidz <chaoticryptidz!~quassel@static.62.145.21.65.clients.your-server.de> has quit IRC (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) | 22:39 | |
| *** chaoticryptidz <chaoticryptidz!~quassel@static.62.145.21.65.clients.your-server.de> has joined #yosys | 22:40 | |
| *** chaoticryptidz <chaoticryptidz!~quassel@static.62.145.21.65.clients.your-server.de> has quit IRC (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) | 23:14 | |
| *** chaoticryptidz <chaoticryptidz!~quassel@static.62.145.21.65.clients.your-server.de> has joined #yosys | 23:14 | |
| *** chaoticryptidz <chaoticryptidz!~quassel@static.62.145.21.65.clients.your-server.de> has quit IRC (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) | 23:29 | |
| *** chaoticryptidz <chaoticryptidz!~quassel@static.62.145.21.65.clients.your-server.de> has joined #yosys | 23:29 | |
Generated by irclog2html.py 2.17.2 by Marius Gedminas - find it at https://mg.pov.lt/irclog2html/!