00:19 <_whitenotifier-d> [YoWASP/nextpnr] whitequark pushed 1 commit to develop [+0/-0/±1] https://git.io/JEbpu

00:19 <_whitenotifier-d> [YoWASP/nextpnr] whitequark eba968b - Update dependencies.

07:15 <alanvgreen> whitequark: would you be able to take a quick look at https://github.com/nmigen/nmigen/pull/628? Just would like confirmation (or not) that it's heading in a good direction.

10:16 <lkcl> lethalbit, regarding what you said about signal notability (manually creating GTKWs), cesar created a CSS-like system for GTKW files to take care of that

10:16 <lkcl> https://git.libre-soc.org/?p=nmutil.git;a=blob;f=src/nmutil/test/example_gtkwave.py;

10:17 <lkcl> (cf: https://github.com/nmigen/nmigen/pull/624#issuecomment-894599446)

10:17 <lethalbit> okay, ill take a look at it

10:19 <lkcl> i also commented on another idea, the one about signal-tags, here on IRC, which are related to that.

10:19 <lkcl> the idea behind the GTKW system that cesar created is that it mirrors HTML5 DOM and CSS.

10:20 <lkcl> consequently, things like the signal-tags (group names) are also inter-related and very powerful.

10:28 <lkcl> i forget which bugreport it was, apologies

11:04 <lethalbit> honestly i wish we can just trash gtkwave it is /so bad/

12:13 <d1b2> <286Tech> Is it possible to simulate a design that has Verilog instances with cxxsim?

12:15 <mwk> yes, as long as the verilog instances are synthesizable

12:17 <d1b2> <286Tech> I just created a 32x32-bit multiplier with four SB_MAC16 units of the ice40 (which I instantiated ofc), so it should work then.

12:17 <d1b2> <286Tech> Now to figure out how to use cxxsim

12:18 <mwk> you will need to actually supply a model for those

12:18 <mwk> techlibs/ice40/cells_sim.v should work

12:18 <mwk> (it's not included automatically when you're not doing the synth_ice40 flow)

12:18 <d1b2> <286Tech> Yeah that's what I used when simulating the Verilog with iverilator.

12:21 <d1b2> <286Tech> But I'll keep that in my mind as I figure out how to use cxxsim.

13:21 <lkcl> lethalbit :) yyeah i hear ya: it's one of those "it exists, it does the job... for now" situations

13:22 <lkcl> yet at the same time i feel it's important not to underestimate the complexity of what it _does_ do

13:24 <lethalbit> yeah no doubt but like, even so, gtkwave is just not nice to use

13:24 <lethalbit> it needs a ux overhaul if anything

13:31 <lkcl> do try cesar's DOM/CSS creator. you can create tree-expanding, do colourisation, everything you'd expect, and it's an absolute godsend

13:32 <lkcl> integrating it with that "tags" idea would be great.

13:33 <lkcl> esp. if the tag propagates from signal to signal through the design, and then cesar's DOM/CSS-gtkw system can pick up the "tag"

13:34 <lkcl> that way if you wanted to see how one signal affected another down a massive chain, you could ask the GTKW-CSS system to generate the required gtkw file with a single CSS-like entry.

13:35 <lkcl> i went over this a couple of weeks ago (on a weekend), when i saw the discussion come up.

13:36 <lkcl> unfortunately i can't engage in discussions on github.

13:38 <lochsh> I hope it is ok to post a job advert here, just let me know if that's not the vibe and I will know for the future!I loved using nmigen to make a [very incomplete] baby RISC-V CPU earlier this year. I'm working at a quantum computing company now in Oxford, UK, and we're looking for embedded software engineers. Having experience in digital logic

13:38 <lochsh> design for FPGAs is a big bonus, and the gateware is all currently in migen (sadly not nmigen). You can read more here https://www.oxionics.com/careers and here https://www.oxionics.com/software-engineer-embedded cheers!

14:06 <tpw_rules> lochsh: is it only available for UK citizens?

14:17 <lochsh> tpw_rules no, you do not need to be a UK citizen :) But you would need the right to work in the UK, which depends on a few factors. For most people without UK citizenship, that largely comes down to having the right kind of visa, which is something we can sponsor, and have sponsored in the past for employees who needed it.

14:18 <lochsh> We are ideally looking for people who can be in the UK office for at least 2 days a week, but if a candidate needed to work fully remotely for the first couple months while they sorted moving/immigration, that would be totally fine. It's something we've done for other employees joining from far afield

14:19 <lochsh> "in the UK office" made it sound like we have multiple offices -- i was just trying to communicate that you would probably eventually need to be in the uk, but that we can help with getting you there

14:19 <lochsh> (we have but one small office lol)