ChanServ changed the topic of #nmigen to: nMigen hardware description language · code at https://github.com/nmigen · logs at https://freenode.irclog.whitequark.org/nmigen
Vinalon has joined #nmigen
<awygle> Wonder how slow WASI nextpnr would be
<whitequark> awygle: hrm, the PulseSynchronizer doesn't really follow the documentation or naming conventions of the rest of CDC primitives
<awygle> Probably because it was basically a direct port from migen
<whitequark> yeah but it should've been fixed during porting
<_whitenotifier-9> [nmigen] whitequark opened issue #370: Update lib.cdc.PulseSynchronizer to follow nMigen conventions - https://git.io/JfqT7
<_whitenotifier-9> [nmigen/nmigen] whitequark pushed 1 commit to master [+0/-0/±1] https://git.io/JfqTp
<_whitenotifier-9> [nmigen/nmigen] whitequark da76ffa - lib.cdc: add missing documentation for AsyncFFSynchronizer. NFC.
Degi has quit [Ping timeout: 246 seconds]
Degi has joined #nmigen
Vinalon has quit [Remote host closed the connection]
Vinalon has joined #nmigen
____ has joined #nmigen
felix_ has quit [Ping timeout: 265 seconds]
felix_ has joined #nmigen
<cr1901_modern> Not that I advocate for this particular platform, but has anyone used nmigen w/ Zynq yet?
<cr1901_modern> Realizing that I haven't used the Zynq board I got a few months back at all
peteut has quit [Ping timeout: 240 seconds]
Sarayan has joined #nmigen
thinknok has joined #nmigen
<anuejn> cr1901_modern: yup
<anuejn> me and vup are currently building blocks for using axi and convenience wrappers for many things
<cr1901_modern> ahhh cool, good to know. Will be fun to use that w/ remote builds b/c ENOVIVADO locally
Asu has joined #nmigen
peteut has joined #nmigen
rohitksingh has quit [Ping timeout: 244 seconds]
peteut has quit [Quit: Konversation terminated!]
chipmuenk has joined #nmigen
thinknok has quit [Ping timeout: 246 seconds]
futarisIRCcloud has quit [Quit: Connection closed for inactivity]
Asu has quit [Ping timeout: 244 seconds]
Asu has joined #nmigen
rohitksingh has joined #nmigen
Bernhard2 has joined #nmigen
Asu has quit [Read error: Connection reset by peer]
Asu has joined #nmigen
Vinalon has quit [Ping timeout: 260 seconds]
<lkcl_> cr1901_modern: i have a ZC706 - do you know if there's a documented libre-licensed toolchain yet?
<_whitenotifier-9> [nmigen] whitequark opened issue #371: Make Yosys a soft dependency of nMigen itself - https://git.io/JfqRI
<lkcl_> cr1901_modern: i found this https://github.com/daveshah1/nextpnr-xilinx/
<daveshah> It's not end user ready
<daveshah> and there is no prjxray support for the 7045
<lkcl_> daveshah: i'm not an end-user type :)
<daveshah> Right, but I guess you don't want bitstreams that randomly fail and a vastly pessimistic timing model either.
<lkcl_> daveshah: if it's a random build failure that's ok.
<lkcl_> what's involved in getting prjxray recognising the zc706? it's a monte-carlo tester, isn't it?
<daveshah> Well, feel free to try it
<daveshah> No it isn't
<lkcl_> ok
<daveshah> Better to ask on #symbiflow about that
<daveshah> It depends how much of the device you want to support
<lkcl_> ok
<daveshah> Just adding the device probably isn't that hard, but prjxray doesn't support HPIO at the moment, for example
<daveshah> at least last I looked
<lkcl_> i've a maaasssive device that needs to be synthesised
<daveshah> It also has only been tested with Artix-fabric zynq7s, not Kintex-fabric zynq7s, although it does also work on Kintex-7
<daveshah> device or design?
<lkcl_> quad IEEE754 FP32 units and an out-of-order execution engine
<daveshah> Yeah, not yet
<lkcl_> GPIO's not so critical
<daveshah> there are some router performance issues limiting things at the moment (that I am actually working on as we speak)
<lkcl_> ok.
<lkcl_> hmm overall message seems to be "WIP". not going to be useable within the next 3-4 months.
<daveshah> end of 4 months, maybe
<lkcl_> the alternative is to buy 5 to 10 ECP5 boards and wire them together somehow
<lkcl_> daveshah: nice
<daveshah> I am mostly looking at UltraScale+ (with RapidWright for bitgen at the moment)
<daveshah> but most of those improvements should filter back to xc7 too
<lkcl_> if we were to get a board that supports what you're doing right now, what would you recommend?
<lkcl_> (over 300k LUTs)
<daveshah> On that side of things I am working with zcu104 and alveo u250
<daveshah> But it is equally, if not more, experimental
<daveshah> and open bitstream for those devices is a while off (again not me working on it, and I can't really say any more atm)
<lkcl_> ah no i mean on the ultrascale+. what do you have access to, which would be the first best-supported FPGA, which, if i got one, would allow me to help testing / debugging (apart from anything else)
<daveshah> probably zcu104
<daveshah> not quite 300kLUTs though (more like 230k) but nextpnr isn't really at that kind of scale yet anyway
<lkcl_> oink - digikey's website is 403 (!)
Bernhard2 has quit [Ping timeout: 240 seconds]
<daveshah> That sounds like "logic cells" i.e. LUTs * K_marketing
<daveshah> Oh, I thought you meant digikey was saying 403 kLUTs
<lkcl_> :)
<lkcl_> no, the entirety of digikey.com is reporting a 403 HTTP error :)
<daveshah> fine here
<lkcl_> bizarre. hm may be geo-blocked.
<lkcl_> ok so the takeway (from a combination of nextpnr and others) is, "not really ready yet".
<lkcl_> appreciate the insight, dave
<daveshah> Indeed
<daveshah> there are other ecosystem issues that affect these kind of designs too, like Yosys performance and a lack of useful retiming
<_whitenotifier-9> [nmigen] whitequark commented on issue #371: Make Yosys a soft dependency of nMigen itself - https://git.io/Jfqak
thinknok has joined #nmigen
cyberclown has quit []
Degi_ has joined #nmigen
anuejn_ has joined #nmigen
mwk has quit [Ping timeout: 256 seconds]
mwk has joined #nmigen
electronic_eel has quit [Ping timeout: 260 seconds]
electronic_eel has joined #nmigen
felix_ has quit [*.net *.split]
Degi has quit [*.net *.split]
cr1901_modern has quit [*.net *.split]
lkcl_ has quit [*.net *.split]
plaes has quit [*.net *.split]
hell__ has quit [*.net *.split]
zignig has quit [*.net *.split]
anuejn has quit [*.net *.split]
samlittlewood has quit [*.net *.split]
miek has quit [*.net *.split]
Degi_ is now known as Degi
felix_ has joined #nmigen
cr1901_modern has joined #nmigen
plaes has joined #nmigen
zignig has joined #nmigen
hell__ has joined #nmigen
lkcl_ has joined #nmigen
samlittlewood has joined #nmigen
miek has joined #nmigen
electronic_eel has quit [Ping timeout: 244 seconds]
electronic_eel has joined #nmigen
peteut has joined #nmigen
peteut has quit [Client Quit]
electronic_eel has quit [Ping timeout: 256 seconds]
mwk has quit [Ping timeout: 260 seconds]
mwk has joined #nmigen
electronic_eel has joined #nmigen
lkcl_ has quit [*.net *.split]
plaes has quit [*.net *.split]
hell__ has quit [*.net *.split]
zignig has quit [*.net *.split]
samlittlewood has quit [*.net *.split]
miek has quit [*.net *.split]
felix_ has quit [*.net *.split]
cr1901_modern has quit [*.net *.split]
plaes has joined #nmigen
lkcl_ has joined #nmigen
miek has joined #nmigen
hell__ has joined #nmigen
samlittlewood has joined #nmigen
zignig has joined #nmigen
felix_ has joined #nmigen
cr1901_modern has joined #nmigen
lkcl_ has quit [Ping timeout: 269 seconds]
electronic_eel has quit [Ping timeout: 260 seconds]
electronic_eel has joined #nmigen
electronic_eel has quit [Ping timeout: 264 seconds]
mwk has quit [Ping timeout: 260 seconds]
electronic_eel has joined #nmigen
mwk has joined #nmigen
electronic_eel has quit [Ping timeout: 260 seconds]
electronic_eel has joined #nmigen
electronic_eel has quit [Ping timeout: 246 seconds]
electronic_eel has joined #nmigen
lkcl has joined #nmigen
whitequark has quit [Ping timeout: 272 seconds]
whitequark has joined #nmigen
thinknok has quit [Ping timeout: 272 seconds]
electronic_eel has quit [Ping timeout: 246 seconds]
mwk has quit [Remote host closed the connection]
mwk has joined #nmigen
electronic_eel has joined #nmigen
thinknok has joined #nmigen
electronic_eel has quit [Ping timeout: 246 seconds]
electronic_eel has joined #nmigen
chipmuenk has quit [Quit: chipmuenk]
____ has quit [Quit: Nettalk6 - www.ntalk.de]
thinknok has quit [Ping timeout: 272 seconds]
____ has joined #nmigen
Asu has quit [Ping timeout: 244 seconds]
Asuu has joined #nmigen
electronic_eel has quit [Ping timeout: 260 seconds]
electronic_eel has joined #nmigen
Asuu has quit [Remote host closed the connection]
____ has quit [Quit: Nettalk6 - www.ntalk.de]
futarisIRCcloud has joined #nmigen
Vinalon has joined #nmigen