Tuesday, 2025-06-10

*** tpb <[email protected]> has joined #yosys00:01
*** jn <jn!~quassel@user/jn/x-3390946> has quit IRC (Ping timeout: 276 seconds)00:28
*** jn_ <jn_!~quassel@2a0a-a54a-fbbd-0-20d-b9ff-fe49-15fc.ipv6dyn.netcologne.de> has joined #yosys00:28
vanczDoes yosys do warning and linting and such? I accidentally some verilog where I did a two bit case statement on a register I accidentally made only 1 bit.02:01
*** lofty[m] <lofty[m]!loftyfield@2a01:4f8:c012:5b7:0:1:0:570> has joined #yosys02:14
lofty[m]For linting use a linter; Verilator would probably catch it02:14
vanczguess I need to combine more toolchains03:18
vanczI have a basic question; can I assert a signal and then assert another signal to deassert it on the next clock cycle? or do I need a cycle extra in between to notice the deassert signal?03:19
vanczspecifically if I have two (software implementations of) chips, one asserts an IRQ, the other detects the IRQ and says to clear it with an IRQ_CLR signal03:19
vanczcan I do that in two clock cycles or do I need three?03:20
* vancz wonders if he is asking what he actually means to ask03:20
*** FabM <FabM!~FabM@2a03:d604:100:a500:c9dc:602c:ab38:3194> has joined #yosys04:51
*** kristianpaul <kristianpaul!~paul@user/kristianpaul> has joined #yosys08:03
*** krispaul <[email protected]> has quit IRC (Ping timeout: 244 seconds)08:04
*** anticw <[email protected]> has quit IRC (Ping timeout: 244 seconds)09:10
*** anticw <[email protected]> has joined #yosys09:11
csantosbHi, I wonder if this licensing issue with prjbeyond-db may be solved, https://github.com/YosysHQ-GmbH/prjbeyond-db/issues/209:16
lofty[m]csantosb: what's your intended usecase for that? to be quite honest it never worked amazingly well, and it's not like you can use the end result on real hardware09:24
csantosblofty[m]: packaging nextpnr and all of its supported devices under Guix, see https://issues.guix.gnu.org/7839009:28
tpbTitle: [PATCH electronics-team] gnu: nextpnr: Add ecp5 and himbaechel architectures. (at issues.guix.gnu.org)09:28
lofty[m]csantosb: yeah, I wouldn't bother.09:29
lofty[m]I think the venn diagram of Guix users and people interested in the NanoXplore FPGA is two separate circles09:31
csantosbUnless a license is provided, it cannot be distributed, and this holds for all repositories.09:33
lofty[m]then do not distribute it. nextpnr is modular enough that you can simply not build the ng-ultra uarch.09:33
csantosbAny reason not to ?09:34
lofty[m]have you actually tried to use that architecture?09:34
lofty[m]you cannot use the output of it, because converting the nextpnr output to a usable bitstream requires a license for NanoXplore's Impulse toolchain09:35
csantosbSure, this is explained in the readme09:37
lofty[m]sorry, I'm really confused here09:37
lofty[m]why do you want to package a toolchain you cannot use for anything.09:38
csantosbFor exactly the same reason nextpnr considers it09:42
lofty[m]I do not think your motivation here is "so I could still have a job"09:43
csantosb?09:43
lofty[m]https://activities.esa.int/400014138009:44
tpbTitle: An open source FPGA toolchain for a European space-grade FPGA | Activities Portal (at activities.esa.int)09:44
lofty[m]that ESA money partially went towards making sure I still had a job.09:45
lofty[m]in terms of actually making an architecture open-source, this was a dead end from the start because of the dependence on Impulse09:46
csantosbNo, unrelated09:47
lofty[m]we published it so we had stuff to show to ESA.09:47
*** zero-xray6 <zero-xray6!~nonlinear@user/nonlinear> has joined #yosys10:17
*** zero-xray <zero-xray!~nonlinear@user/nonlinear> has quit IRC (Ping timeout: 276 seconds)10:20
*** zero-xray6 is now known as zero-xray10:20
*** peepsalot <peepsalot!~peepsalot@openscad/peepsalot> has quit IRC (Remote host closed the connection)14:29
*** peepsalot <peepsalot!~peepsalot@openscad/peepsalot> has joined #yosys14:29
*** FabM <FabM!~FabM@armadeus/team/FabM> has quit IRC (Ping timeout: 268 seconds)16:03
*** smkz <smkz!~x@user/smkz> has quit IRC (Quit: smkz)16:32
*** smkz <smkz!~x@user/smkz> has joined #yosys16:33
*** smkz <smkz!~x@user/smkz> has quit IRC (Quit: smkz)16:44
*** smkz <smkz!~x@user/smkz> has joined #yosys17:18
*** nonchip <[email protected]> has quit IRC (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.)22:10
*** nonchip <[email protected]> has joined #yosys22:11
*** flag <[email protected]> has quit IRC (Ping timeout: 252 seconds)22:33
*** flag <[email protected]> has joined #yosys22:35
*** jn_ is now known as jn23:34

Generated by irclog2html.py 2.17.2 by Marius Gedminas - find it at https://mg.pov.lt/irclog2html/!