ChanServ changed the topic of #nmigen to: nMigen hardware description language · code at · logs at · IRC meetings each 1st & 3rd Monday at 1800 UTC · next meeting July 6th
<_whitenotifier-f> [nmigen/nmigen] whitequark pushed 1 commit to doc [+16/-2/±6]
<_whitenotifier-f> [nmigen/nmigen] whitequark c4a7549 - [WIP] doc
<_whitenotifier-f> [nmigen/nmigen] github-actions[bot] pushed 1 commit to gh-pages [+0/-0/±17]
<_whitenotifier-f> [nmigen/nmigen] whitequark 42181ec - deploy: c4a7549ad9021a3a699b51c862c91b3cc18b1f72
Degi has quit [Ping timeout: 264 seconds]
Degi has joined #nmigen
jeanthom has quit [Read error: Connection reset by peer]
jeanthom has joined #nmigen
jaseg has quit [Ping timeout: 260 seconds]
jaseg has joined #nmigen
electronic_eel has quit [Ping timeout: 240 seconds]
electronic_eel has joined #nmigen
jock_tanner has joined #nmigen
jock_tanner has quit [Client Quit]
jock-tanner has joined #nmigen
jock-tanner has quit [Quit: Leaving]
jock-tanner has joined #nmigen
_whitelogger has joined #nmigen
jordi_ has quit [Ping timeout: 264 seconds]
_whitelogger has joined #nmigen
Asu has joined #nmigen
<jock-tanner> hi, i have altera fpga and now am trying to put its pll to use
<jock-tanner> i think altpll instance is synthesizing ok, but then pll requres a quarz input
<jock-tanner> i'm trying to do
<jock-tanner> m.submodules.pll = pll = ALTPLL(plls=[main_clock])
<jock-tanner> m.d.comb += pll.inclk0.eq(clk50_i)
<jock-tanner> clk50_i = platform.request(platform.default_clk).i
<jock-tanner> += ClockDomain('sync')
<jock-tanner> main_clock = AltPLLConfig(multiply_by=2, divide_by=5)
<jock-tanner> m.d.comb += ClockSignal('sync').eq(pll.clk_out[0]
<jock-tanner> but i got
<jock-tanner> Error (15065): Clock input port inclk[0] of PLL "pll:pll|altpll:pll|altpll_r601:auto_generated|pll1" must be driven by a non-inverted input pin or another PLL, optionally through a Clock Control block File: /home/tanner/workspace/pr092-nimgen_yosys/asceticore/build/db/altpll_r601.tdf Line: 27
<jock-tanner> Info (15024): Input port INCLK[0] of node "pll:pll|altpll:pll|altpll_r601:auto_generated|pll1" is driven by pin_clk50_0_clk50_0__i which is COMBOUT output port of Combinational cell type node pin_clk50_0_clk50_0__i File: /home/tanner/workspace/pr092-nimgen_yosys/asceticore/build/db/altpll_r601.tdf Line: 27
<jock-tanner> i don't understand why clk_50 becomes pin_clk50_0_clk50_0__i and if it's what i need
<jock-tanner> maybe my problem is typical?
<agg> jock-tanner: when you platform.request("clock_pin"), add dir="-"
<agg> Hmm sorry platform.request(platform.default_clk, dir="-")
<agg> No .i any more
<jock-tanner> thank you agg, my pll is working now
<jock-tanner> yay!
<agg> Nice :)
<agg> By default nmigen instantiates pin resources so you get the .i and can do things like input registers and ddr and so on and so forth, but for plls and other special cases you need just the raw pin directly which is what dir "-" does
<jock-tanner> it is a bit strange, because i could not find anything similar in platform code
<jock-tanner> i tried to mimmic Platform.create_missing_domain()
<lkcl__> jock-tanner: allo :)
<jock-tanner> pong lkcl =)
<lkcl__> got an altera fpga, eh? (ooo, posh :) )
<jock-tanner> it's de0-nano, i bought it very cheap on aliexpress
<lkcl__> nice. adafruit have them for $99?
<lkcl__> looks quite pretty
<lkcl__> we got versa-ecp5 boards
<FL4SHK> having trouble
<lkcl__> terasic, the company that does the de0, looks like they have some niiice peripheral boards
<lkcl__> FL4SHK: wassup?
<FL4SHK> I tried adding a clock domain to a module but
<FL4SHK> here're more details
<FL4SHK> I've got two modules
<jock-tanner> i'd prefer something with open toolchain too, but had to consider price/performance first of all
<FL4SHK> one is the top level module
<FL4SHK> and the other is a VGA driver module
<FL4SHK> the top level module instantiates an altera_pll
<lkcl__> jock-tanner: there are ECP5 boards out there for $99.
<FL4SHK> and adds a clock domain to the top level module
<lkcl__> FL4SHK: where's the source code?
<FL4SHK> oh, good idea
<FL4SHK> here's what I'll do
<FL4SHK> I'll make it public
<lkcl__> i've not done ClockDomains before however there's an example, nmigen/examples/basic/
<lkcl__> FL4SHK: looking at, did you remember to add the clock domain to
<FL4SHK> yes
<lkcl__> cd_por = ClockDomain(reset_less=True)
<lkcl__> cd_sync = ClockDomain()
<lkcl__> += cd_por, cd_sync
esden has quit [Ping timeout: 272 seconds]
<lkcl__> *pained* - wildcard imports...
<FL4SHK> I'm not really a Python afficianado
esden has joined #nmigen
<lkcl__> some advice: the more modules you use with wildcard imports, the harder it is to debug, particularly when asking someone else for help.
<FL4SHK> there are no line numbers to help me this time
<lkcl__> which module has DE0CVPlatform for example?
<FL4SHK> nmigen-boards
<lkcl__> ah, see i expected it to be in misc_util, or top_mod, or fifo_mod.
<FL4SHK> nmigen_boards.de0_cv
<FL4SHK> is where it's located
<lkcl__> if at like 12 that had been "from nmigen_boards.de0_cv import DE0CVPlatform" i would not have had to ask :)
<lkcl__> ok, so where is the ClockDomain declared?
<lkcl__> it's not in
<FL4SHK>, add_clk_domain
<lkcl__> alriiight :)
<lkcl__> ok and where is inst_pll called from?
<FL4SHK> in elaborate
<lkcl__> i am wondering whether it's because the new domain has been added to a submodule
<FL4SHK> I intended on the submodule being able to just use the clock signal created by the PLL
<lkcl__> can i suggest adding a unit test that simply tries to instantiate Top() on its own?
<lkcl__> oh, you already do - in
<lkcl__> line 46
<FL4SHK> yes
<FL4SHK> the problem seems to be in VgaDriver
<lkcl__> possibly because VgaDriver hasn't had ClockDomain("dom") added to it?
<lkcl__> can i make a suggestion?
<lkcl__> modify nmigen/hdl/
<lkcl__> line 117
<lkcl__> to instead of saying this:
<lkcl__> assert not in
<lkcl__> say this:
<miek> this looks like it's throwing an error on a duplicate domain, not a missing one
<lkcl__> assert not in, "domain %s not in module %s" % (, str(
<lkcl__> assert "not in" means it's missing
<lkcl__> or, better
<lkcl__> assert not in, "domain %s not in module %s domains %s" % (, str(self), str(
<lkcl__> that will tell you:
<miek> yeah, add_domains is asserting that it doesn't already exist
<lkcl__> * the domain that's trying to be created
<lkcl__> * the name of the module that the clock tree is attempting to build
<lkcl__> * the list of domains already in that module
<lkcl__> right now you are guessing.
<lkcl__> FL4SHK: in case that wasn't clear, i'm recommending modifying the *NMIGEN* source code to give you better debug information
<FL4SHK> yeah, that was clear
<FL4SHK> I did it
<lkcl__> it doesn't have to be a permanent modification, just enough to tell you what's going on
<FL4SHK> AssertionError: domain dom not in module < object at 0x7f5317253d60> domains OrderedDict([('dom', < object at 0x7f531728bcd0>)])
<lkcl__> bleh. not totally useful, yet :)
<lkcl__> you see where i'm going with that? trying to look for the actual module (not the AST) that the code thinks "dom" is missing from
<lkcl__> then when you know that module (it might be Top, it might be VGA) but we have no idea
<lkcl__> once you know, it's possible to narrow down investigation
<miek>'s not missing
<lkcl__> that assert says otherwise.
<lkcl__> assert not in
<FL4SHK> so I think I see something
<lkcl__> that will only assert if the ("dom") in this case is missing from
<FL4SHK> when do submodules get elaborated?
<FL4SHK> do they get elaborated before the higher level one, or after it?
<lkcl__> it's... complicated. they do *not* get elaborated in the constructor, that's for sure
<miek> no, it will assert if " not in" evaluates to False - ie: it will assert if it already exists
<lkcl__> i believe they are done leaf-nodes first
<FL4SHK> yeah, asserts do work that way
<lkcl__> miek, FL4SHK: yep, sorry :)
<FL4SHK> VgaDriver's elaborate() should be adding a new clock domain to its module
<FL4SHK> it calls `add_clk_domains`
<FL4SHK> but actually
<FL4SHK> even if I comment that out
<FL4SHK> it won't work...
<FL4SHK> same error message
<lkcl__> hmmm what happens if you comment out line 92?
<lkcl__> vga.drbus.clk.eq(ClockSignal("dom")) ?
<lkcl__> i wonder if that's trying to create a *second* ClockDomain with the same name "dom" for you?
<FL4SHK> same bug
<FL4SHK> wait
<FL4SHK> wait a minute
<FL4SHK> removing the add_clk_domains thing works
<FL4SHK> I had a separate clock signal within the VGA driver bus
<FL4SHK> now I'm thinking that might not be necessary?
<lkcl__> well... have a look at examples/board/
<lkcl__> it might be the case that you need to do the domains at the top level?
<FL4SHK> the bottom line is that I'm trying to have the generated clock signal from a PLL be attached to the domains of a submodule
<FL4SHK> yes
<FL4SHK> that's what I was thinking
<lkcl__> ice cream van arrived, gotta go :)
<FL4SHK> turns out that didn't work
<d1b2> <286Tech> Ok, so apparently I misunderstood how to access the individual pins of a resource. I thought that I could do something like this: Resource("bla", 0, Pins("1 2 3 4", dir="oe",....) def elaborate(self, platform: Platform) -> Module: m = module() bla = platform.request("bla") for i in range(bla): m.d.comb += bla[i].oe.eq(...) m.d.comb += bla[i].o.eq(...)
<FL4SHK> whitequark: so I want to use a PLL's generated clock with a submodule
<d1b2> <286Tech> Because this gives the error "AttributeError: 'Slice' object has no attribute 'oe'"
<d1b2> <286Tech> Ok, so the default value of the pin number is zero. That means that I'm not getting all pins, but just pin with index 0.
<d1b2> <286Tech> How can I ask for the number of pins of a Resource? Because I cannot request it twice.
<d1b2> <286Tech> I see that I can just do this: leds = [] for led in platform.request("led"): leds.append(led) This will store all the signals of "led" in a slice. Then I can do: for led in self.leds: m.d.comb += led.value.fields["oe"].eq(...) m.d.comb += led.value.fields["o"].eq(...)
<d1b2> <286Tech> Seems a bit verbose, but I cannot access the oe and o signals directly (unless I'm doing something wrong, which is highly likely :D).
<agg> You can just do led.o.eq(...)
<agg> Yea sounds like something is going very wrong...
<d1b2> <286Tech> I tried that, but then I get an error: AttributeError: 'Slice' object has no attribute 'o'
jeanthom has quit [Ping timeout: 256 seconds]
<agg> Oh I see what you've done
<agg> Iterating the single led signal gives you lots of individual bit slices not new signals
<agg> normally you'd just do "led = platform.request("led")" and then `led` is a n-bit wide signal where each bit is an led, and it only has one oe (though why does your led line have oe at all?)
<FL4SHK> whitequark: seems I only need to add a domain once
<FL4SHK> this is good
<agg> then you just m.d.comb += led.eq(0b1111) or led[0].eq(1) or led[5].eq(1) etc
<agg> FL4SHK: i have an example making a pll and using it to clock a submodule etc, did you get yours working?
<d1b2> <286Tech> agg: That's exactly what I have been trying to do, but that also didn't work (which means I did something wrong).
<FL4SHK> agg: just now, yes!
<d1b2> <286Tech> Let me try it again
<FL4SHK> all I had to do was just use the existing domain
<agg> ah yes indeed
<FL4SHK> I didn't have to add it to the module
<agg> domain names are global
<FL4SHK> that's what I was missing
<agg> you probably want to use DomainRenamer
<FL4SHK> DomainRenamer?
<agg> i usually would make all my modules use sync and then when you instantiate them in a top-level module you can rename that
<agg> so e.g. you might have a VGADriver Elaboratable which has some synchronous logic
<agg> use m.d.sync inside it for that
<agg> but in your top level, when you'd do vga = VGADriver(); m.submodules += vga;
<agg> instead do m.submodules += DomainRenamer("vga")(vga)
<agg> which will rename sync into vga for that vga module and everything below it
<agg> (you can also DomainRenamer({"sync": "vga"}) to be more explicit and rename other domains
<d1b2> <286Tech> agg: I get the same error. This is what I have right now:
<FL4SHK> agg: so what about explicit reset signals? Are those still a thing?
<agg> the domain includes a clk and an optional rst, so when you rename sync to vga it would also rename uses of resets to vga resets
<agg> 286Tech: I don't quite understand what you're trying to do with oe
<agg> when you have a resource like that with multiple pins, it only gets one oe signal for the whole group
<agg> so you want "self.leds.oe.eq(bla)" and "self.leds[5].eq(bla)" (or just self.leds.eq(bla))
<d1b2> <286Tech> Ah of course! @whitequark even said it yesterday! doh!
<d1b2> <286Tech> But shouldn't the o signal be individually addressable?
<agg> oh, indeed, leds.o[5].eq(bla)
<agg> it's a bit confusing that leds[5] works to be honest
<agg> you probably also want len(leds.o)
<d1b2> <286Tech> I get the same error for o too :/
<agg> which error?
<d1b2> <286Tech> AttributeError: 'Slice' object has no attribute 'o'
<d1b2> <286Tech> Oh oops
<d1b2> <286Tech> # LEDs m.d.comb += self.leds.oe.eq(~self.state_counter[0]) for i in range(len(self.leds)): m.d.comb += self.leds.o[i].eq(self.state_counter[1]) This gives me the error: IndexError: Cannot index 8 bits into 8-bit value
<d1b2> <286Tech> I'm blind. You said len(leds.o), and that works.
<d1b2> <286Tech> So len(self.leds) is wrong because it returns 1?
<agg> no it actually returns 9
<agg> self.leds has the oe signal and the 8-bit o signal
<agg> so self.leds[0], [1], [2], etc indexes the o bits and the oe bit (can't remember in which order, probably oe last?)
<d1b2> <286Tech> Ah ok. So they all get aggregated into a single slice/array/whatever-python-uses.
<d1b2> <286Tech> That makes sense.
<d1b2> <286Tech> I really need to write this down, because I'm going to forget and ask it again in the future 😛
<agg> for plain inputs or plain outputs that means the different isn't obvious, leds.o is the same as leds
<d1b2> <286Tech> Thanks for the help!
<agg> but for oe and io it matters a lot more
<d1b2> <286Tech> I see
<agg> i think wq was talking about removing the ability to just do leds[5] because of this confusion
<agg> it seems like it works with o and i, and then it's confusing when you move to io or oe
<d1b2> <286Tech> I haven't use oe signals before, so that's why I never ran into this problem.
<agg> basically for a resource you've got from a platform, you should always use the .o and .i signals
<agg> there's also like .i_clk and .o_clk for sdr/ddr resources
<d1b2> <286Tech> Being explicit in which signals you use avoids confusions like this.
jeanthom has joined #nmigen
<FL4SHK> agg: can you go over a little of the reasons behind using DomainRenamer?
<FL4SHK> how do I, for example, change which clock signal is in use by a submodule's `sync` domain?
<agg> i picked a terrible day to try a totally new keyboard layout, lol
<agg> so: i try to write my single-domain modules (i.e. domains that do not themselves contain cdc) to always use sync
<agg> that way i can reuse them anywhere without worrying about domain names
<FL4SHK> That's what I was looking at doing
<agg> when they get instantiated, if they need to be in a domain other than sync, i use DomainRenamer to make any of their access to sync into whatever it is i want
<agg> DomainRenamer(x) returns a function that takes an elaboratable and returns a new one with the domain renamed
<agg> i should really update that code, it's like a year old now but often has useful examples i find
<FL4SHK> what about sub-submodules?
<FL4SHK> does the DomainRenamer apply to them, too?
<agg> yes, the entire 'sync' tree is renamed
<FL4SHK> neat
<FL4SHK> that's what I was hoping for
<FL4SHK> the dev team thinks of everything
jeanthom has quit [Ping timeout: 240 seconds]
<agg> i'm excited for more docs to be out, lots of this stuff works really well but is hard to find
<FL4SHK> that's why I'm here
<FL4SHK> I had questions
<FL4SHK> nMigen covers my needs extremely well
<agg> same, it's unreal how productive it is
<agg> sadly all my recent nmigen code is for work which makes sharing little snippets harder
<FL4SHK> I *wish* I could write nMigen at work
<FL4SHK> I don't like SV or VHDL as much as I do nMigen
<FL4SHK> and I think nMigen is better
<FL4SHK> VHDL 2008 is pretty good, though
jeanthom has joined #nmigen
<FL4SHK> as is SV when classes as namespaces are supported (hint: most synthesis tools give up at the mere mention of the `class` keyword)
<agg> luckily this was a new project whivh made it an easy sell
<FL4SHK> neither of those languages is well suited to developing an interconnect itself in
<FL4SHK> I'm tied to VHDL for DUT code
<FL4SHK> all our DUT code has to be in VHDL
<FL4SHK> hm
<FL4SHK> Seems I can't request the SD card
<FL4SHK> self.__sd_card = self.platform().request("sd_card")
<FL4SHK> I tried this
jeanthom has quit [Ping timeout: 264 seconds]
<agg> you probably don't want platform(), just platform
<FL4SHK> no, self.platform() is return self.__platform
<FL4SHK> that's not the issue
<jock-tanner> is there an sdram controller written in nmigen?
<whitequark> not yet
<jock-tanner> whitequark i guess i have to make one =)
<whitequark> FL4SHK: did you get your problem solved in the end? i see lkcl is once again trying to explain things he doesn't understand himself
ronyrus_ has quit [Quit: %me%]
<FL4SHK> whitequark: (1) I plan on writing an SDRAM controller in nMigen and (2) I did get the clock domains thing to work
<FL4SHK> the SD Card thing I didn't get fixed
<whitequark> can you explain the issue again? there's a lot of backlog
ronyrus has joined #nmigen
<FL4SHK> yeah
ronyrus has quit [Remote host closed the connection]
ronyrus has joined #nmigen
<FL4SHK> I am using the DE0CV platform from nmigen boards
<FL4SHK> I can't seem to request the "sd_card"
<FL4SHK> from the platform
<whitequark> what happens when you try?
<FL4SHK> Resource sd_card#0 does not exist
<whitequark> hm, indeed
<FL4SHK> I don't know why this would be
<whitequark> ah, yes
<whitequark> you need to request either sd_card_spi or sd_card_4bit
<whitequark> they have different IO configurations
<FL4SHK> I see. Which of those would work for making a FAT driver of sorts?
<FL4SHK> I don't know my way around SD cards... yet
<whitequark> both, the only difference is the protocol you use to talk to the card
<whitequark> it's basically like IDE vs SATA
<FL4SHK> ah
<FL4SHK> is one faster than the other?
<whitequark> yes, the 4 bit one is much faster
<FL4SHK> I'll use that one, then
<whitequark> it's also kind of a PITA to use
<FL4SHK> oh
<FL4SHK> any resources for the 4-bit one?
<whitequark> the specification
<whitequark> you have to use a cut-down "non-NDA" versions
<FL4SHK> that's unfortunate
<d1b2> <Benny> > @Benny you were asking why anyone would use nmigen instead of VHDL or Verilog. > I think there is a pretty long list of reasons, and arguments one could make. I think the main goal of nmigen is to make designing complex digital hardware easier and faster. Also make sharing of designs and generation automation easier. So it is not just a novelty thing if you ask me, otherwise one could ask the same question of programming languages and we would still be
<d1b2> writing Cobol 😄 (and yes, if we continue to discuss the merits here, let's try to keep this technical) @esden You did understand the question right ! And like I said I don't want to start a war but I can imagen it is easy for a python dev to quickly develop a design but besides that i can't imagen who would use it
<whitequark> Benny: probably the single most important principle i use when developing nmigen is systematically eliminating programming errors
<whitequark> with verilog, you have a lot of well-known footguns, and during your first few years of verilog programming, you're supposed to learn and adopt a "coding style" that makes them less likely
<whitequark> what i say is that's bullshit. a good language would not have those footguns in first place
<lkcl__> jock-tanner: if you use sv2nmigen on the opencores sdram controller code you'll get a long way much quicker
<lkcl__> whitequark: yes, i was "trying to help" whilst you weren't available, by guiding him through a debug / investigative process. and learning as well.
<d1b2> <Benny> " systematically eliminating programming errors" I'm not sure what you mean with that :/
<whitequark> lkcl__: the problem with your attempts to help is that you spend more time editorializing your own opinions on things you don't understand than helping, and i do not appreciate that
<lkcl__> whitequark: that's very strongly (alarmingly) worded, however i hear you: what did you have issue with?
<whitequark> no, you don't hear me, this is the third time we have this discussion
<lkcl__> was it the use of wildcards?
<lkcl__> if it was the use of wildcards, that genuinely interfered with my ability to assist him.
<whitequark> Benny: so for example, if you're using verilog, you have to be really careful to use only synthesizable constructs, and to avoid accidentally defining a latch
<d1b2> <Benny> aaah ok, and that is not posible in nMigen?
<whitequark> Benny: nmigen doesn't have non-synthesizable constructs, or constructs that map to a latch, at all
<whitequark> yep
<lkcl__> i genuinely could not tell which class was imported from which file, whether it was from a library, or code that he'd written, or code that someone else had written.
jeanthom has joined #nmigen
<d1b2> <Benny> ok got it @whitequark and is there an industry that uses nMigen? because the industry standard is still verilog or vhdl or do i misunderstand that ?
<lkcl__> this is simply one of the harmful side-effects of the use of wildcard imports: that only the author of the code or people who have memorised the contents of all libraries used by someone else's code can actually navigate it
<lkcl__> what is wrong with saying that or explaining that?
<lkcl__> i don't understand
<lkcl__> if we're not communicating effectively, it's down to us to be patient with each other.
<whitequark> this explanation is a lot better than what you said earlier, and i have no problem with it
<lkcl__> Benny: Bluespec (BSV) which is written in Haskell goes to a lot of trouble to ensure that the output - which is verilog - is synthesiseable.
<FL4SHK> whitequark: so, having requested the sd_card_spi from the platform, I get a weird error
<FL4SHK> from synthesis
<whitequark> Benny: nmigen is pretty young, so I wouldn't say there is an "industry" using it. however, it can output Verilog code, and you can use nMigen code in an existing Verilog flow
<lkcl__> whitequark: i apologise, i have a delay in being able to explain things. i know something's "wrong" but it can take days even months to explain. this can be very frustrating, both for me and for others. please do be patient with me, i will get there
<FL4SHK> Error (171016): Can't place node "sd_card_spi_0__wp__io" -- illegal location assignment PIN_W20 File:
<whitequark> lkcl: okay, I will try to be more patient in the future
<whitequark> Benny: I've tried to explain things on this page:, let me know if it clears things up
<whitequark> FL4SHK: that seems like a bug in the board file
<FL4SHK> ah
<FL4SHK> I can hold off on using the SD card
<whitequark> seems like the WP pin is on the wrong ball
<whitequark> no, let's fix it
<FL4SHK> cool
<whitequark> should be easy, let me just pull up the board file
<whitequark> er
<whitequark> the board datasheet
<whitequark> we should add links to all the datasheets to the board files... so much to do for the docs
<whitequark> hm, I don't actually see the SD card pinout in the datasheet?
<FL4SHK> oh my
<whitequark> it looks like there's no WP pin on that board at all?
<FL4SHK> I'm unfamiliar with SD cards
<whitequark> might be a copy-paste error from de0
<_whitenotifier-f> [nmigen/nmigen-boards] whitequark pushed 1 commit to master [+0/-0/±1]
<_whitenotifier-f> [nmigen/nmigen-boards] whitequark ca62124 - de0_cv: remove SD card WP pin (not present on this board).
<whitequark> FL4SHK: try now
<FL4SHK> whitequark: seems that it's producing the same error, which may be a bug on my part
<whitequark> how did you update nmigen-boards?
<FL4SHK> uninstalled from pacman
<FL4SHK> installed with pip
<whitequark> wait, pacman packages nmigen-boards?
<FL4SHK> python-nmigen-boards
<d1b2> <Stary> huh, arch has community/python-nmigen-boards
<d1b2> <Stary> yeah ^^
<FL4SHK> ...I dunno how much longer I'll be on Arch given my eventual (insane) goal of making an SBC to use as my main computer
<whitequark> fascinating
<whitequark> okay, how did you install nmigen-boards with pip?
<FL4SHK> pip install nmigen-boards
<whitequark> ah, so it's not actually regularly released on pip yet
<whitequark> this will be fixed soon
<FL4SHK> should I install from git?
<whitequark> yep
<FL4SHK> that worked
<FL4SHK> new question
<FL4SHK> How do I initialize a block RAM?
<whitequark> m = Memory(...)
<FL4SHK> in SV I'd do initial $readmemh
<whitequark> m.init = [1,2,3,...]
<FL4SHK> ah
<jock-tanner> whitequark thank you for the hint on sv2nmigen, looks like it won't work for me this time, but maybe i'll try it next time, we'll see
<whitequark> sv2nmigen is lkcl's suggestion
<whitequark> I've never even touched it
jeanthom has quit [Ping timeout: 240 seconds]
<jock-tanner> whoops sorry
<jock-tanner> thanks lkcl__
<whitequark> esden: can the bot synchronize the topic as well?
<FL4SHK> whitequark: seems I was mistaken
<FL4SHK> I thought I installed it from git...
<FL4SHK> Yeah, I did
<FL4SHK> via the command you gave
<FL4SHK> I think I got confused when I said it worked
<whitequark> hmm, can you show the exact commands you used?
<whitequark> I don't think I gave you that command?
<whitequark> the m-labs repository is an outdated fork
<whitequark> try `pip install git+`
<FL4SHK> oh wait
<FL4SHK> I see
<FL4SHK> yeah, that fixed it
jeanthom has joined #nmigen
<whitequark> hmm, the most interesting side effect of working on cxxsim is that i might be able to make pysim even faster
<whitequark> i now see that the current pysim code is kind of pretty bad
<whitequark> i'm not sure what i was thinking when i wrote it
<d1b2> <mubes> If you're doing anything approximating to learning as you're working then any code older than 12 months is likely to look like a road crash....nothing to be ashamed about (hopefully some very old Pascal is so deeply buried by now even archiologists won't find it).
<whitequark> yeah
<whitequark> the two main things I see is SoA/AoS and explicit wakeup tracking vs comparing the full state
<whitequark> there's also some really silly indirection going on
<lkcl__> jock-tanner: sv2nmigen is a work-in-progress. has a budget available for anyone who wants to add to it.
jeanthom has quit [Ping timeout: 246 seconds]
<FL4SHK> so I've got VGA signal generation working
<FL4SHK> currently moving on to having the VGA driver read from a FIFO
<FL4SHK> the VGA driver itself seems to be done
<FL4SHK> I think I want to make a 2D, tile-based GPU
<jock-tanner> lkcl__ that makes it more interesting =) it should support verilog, am iright?
jock-tanner has quit [Remote host closed the connection]
jock-tanner has joined #nmigen
<lkcl__> jock-tanner: verilog == sv (kinda)
<lkcl__> sv2nmigen was written to be able to translate parts of ariane into nmigen
<lkcl__> unfortunately, the ariane team used a proprietary dialect of sv
<lkcl__> so *sigh* i had to enhance the parser, which initially came from verilator
<jock-tanner> lkcl__ seems like i have an error to report
<lkcl__> jock-tanner: probably :) is the best place.
<cr1901_modern> whitequark: I could be misremembering, but did the nextpnr backends ever require --post/pre-{place,pack,route} scripts in nmigen?
<d1b2> <esden> @whitequark so there is a pull request for the "topic sync/update" feature. and while looking at this I learned that the project is basically put on ice. The maintainer is only merging security fixes as they are not a user of the software any more. 😦 (seems to be a bit of a pattern of the discord to irc connection tools 😦 )
jock-tanner has quit [Quit: Leaving]
<whitequark> ah, too bad
<whitequark> cr1901_modern: they did
<whitequark> I asked daveshah to fix this because it would have prevented something like YoWASP from working
<whitequark> (it doesn't include Python and really shouldn't)
<cr1901_modern> Ahh cool, just making sure I'm not losing my grip on reality :)
<cr1901_modern> It also helps me out immensely on my current work, since Boost.Python bindings are just plain annoying to change (although they are cool and seem to "just work" in general)
Asuu has joined #nmigen
Asu has quit [Ping timeout: 246 seconds]
Asuu has quit [Quit: Konversation terminated!]
<FL4SHK> I have decided to move on to my main project in nMigen
<tpw_rules> FL4SHK: erm what's a LAR
<FL4SHK> line associative register
alexhw has quit [Ping timeout: 260 seconds]
alexhw has joined #nmigen
<d1b2> <ld;cd> I'm adding ecp5evn support to nmigen boards, is there a way to tell nmigen that the reset is active low?
<d1b2> <ld;cd> oh is it PinsN that does that?
<whitequark> yep
<d1b2> <ld;cd> and then when I'm using something thats based on split_resources i use the kwarg invert=True right?
<whitequark> er, split_resources?
<whitequark> what's that?
<d1b2> <ld;cd> sorry _SplitResources
<whitequark> oh, yeah
<whitequark> this part of nmigen-boards is kind of awkward
<whitequark> but i think it's not too bad to use
<d1b2> <ld;cd> yeah, its going alright though, mostly just building off the versa and changing all the pins
jeanthom has joined #nmigen
<d1b2> <ld;cd> am I correct in asserting that there is currently no qspi resource type definied, or did I miss it somewhere
<d1b2> <ld;cd> oh wait
<whitequark> SPIFlashResources does support qspi
<d1b2> <ld;cd> there is an io_4x thing in the normal spi flash
<d1b2> <ld;cd> yeah
<d1b2> <ld;cd> so I pass it through attrs
<d1b2> <ld;cd> if the user requests the SPI interface when I've also defined the QSPI one will it work automagically or should I define a seperate qspi interface?
<whitequark> I'm not sure what you mean by this
<whitequark> you can request one interface at a time, because they all share pins
<d1b2> <ld;cd> like is there a way to define one spi interface in the board file and the user can somehow decide whether they want to platform.request one version or the other, or should I define two seperate interfaces in the board file that they can request?
<whitequark> SPIFlashResources already defines all interfaces
<whitequark> all three: SPI, 2x, and 4x
<whitequark> you request spi_flash_1x, spi_flash_2x, or spi_flash_4x depending on what you want
<d1b2> <ld;cd> ok, cool
<FL4SHK> anyone know how to get the fmax when using nmigen boards?
<FL4SHK> I *could* just build a Quartus project, but...
<awygle> you mean the final fmax after pnr?
<FL4SHK> yeah
<awygle> idk about the quartus flow (Lofty?) but in nextpnr it shows up in the output of the call to
<awygle> By which I mean it gets printed to stdout
<tpw_rules> it gets left in a file too. top.tim?
<FL4SHK> there are soooo many things printed to stdout
<tpw_rules> my nmigen builds never print anything to stdout
<FL4SHK> I don't see `top.tim` anywhere
<tpw_rules> maybe it's because i use a bastardized version of nmigen cli
<FL4SHK> didn't get that great of an fmax
<FL4SHK> slow model gave me like, 82 MHz?
<FL4SHK> for setup time
<FL4SHK> It seems to still work, though?
<FL4SHK> I'm legitimately surprised it's that bad
<FL4SHK> wait
<FL4SHK> no, it's better than that
<FL4SHK> 127 MHz