17:53 <BryceSchroeder7> Hi. I could have sworn I saw the XC7K420T in the project xray database. I remember because I was looking to see if the XC7K325T was supported and it wasn't. Now, though, when I look, all I see is XC7K070T. I have no idea where I saw the XC7K420T listed and it's driving me crazy... is there a canonical list of devices that are, not necessarily bug

17:53 <BryceSchroeder7> free, but will result in a bitstream being generated?

19:10 <tcal> gatecat: on lifcl-17-7uwg72c, I slowed the clock down to 75MHz, and with a different random seed I got 88MHz out of PnR. It didn't work on the board -- of course jumping straight to LiteX is quite a leap. I'll start making some smaller tests, although if you know of a good starting point that would be useful. Would the regression tests under nextpnr easy to adapt?

19:14 <gatecat> No, the nextpnr regression tests are mostly very specific things

19:15 <gatecat> The first I'd start with is this blinky example

19:15 <gatecat> https://github.com/gatecat/prjoxide/tree/master/examples/blinky_vip

19:15 <gatecat> (changing the device and pinout)

19:16 <gatecat> Then perhaps the simplest possible LiteX SoC (minimal picorv32 rather than vexriscv)

19:50 <tcal> gatecat: thanks! I had missed those somehow.