01:01 <Wanda[cis]> current status: doing take two of geometry database extraction for XC3000, this time from XACT instead of ISE

01:02 <Wanda[cis]> I must say it looks somewhat less batshit (but still well within batshit parameters) when I look at the raw wires instead of the botched tile-ification that whoever ported it to ISE did

01:03 <whitequark[cis]> nice

01:04 <Wanda[cis]> fun fact: I originally only included XC4000 in prjcombine because I was feverish and delirious from I-can't-believe-it's-not-covid and spending a week extracting XC4000 geometry databases from ISE seemed like a good idea

01:05 <Wanda[cis]> right afterwards I looked at XC3000 and decided I'm not nearly delirious enough for that

01:13 <Wanda[cis]> XACT is funny. the routing database it uses is a literal grid of wires.

01:15 <Wanda[cis]> like if you look at the on-disk files, it's a giant-ass two-dimensional u16 array describing what's at every grid cell, with a few hundred codes for "horizontal wire segment", "vertical wire segment", "crossover", "left-down bend", "T-join with a programmable connection", ...

01:16 <Wanda[cis]> and you just. trace over the lines.

01:16 <Wanda[cis]> the IR they are using literally stores enabled PIPs as coordinates on that grid

01:17 <Wanda[cis]> so, naturally, to RE the bitstream I need to know the coordinate of every PIP

01:18 <Wanda[cis]> there is, of course, no database export option

01:19 <Wanda[cis]> I was briefly considering manually transcribing them from the UI but Maja called me batshit insane when I said that out loud and baited me into just parsing the damn data files.

01:20 <Wanda[cis]> another fun fact: whoever originally wrote ISE support for XC3000 and XC4000E did the exact same thing as me

01:21 <Wanda[cis]> because all wires in ISE databases have nondescript numbered names

01:22 <Wanda[cis]> and the order of the numbers turns out to perfectly match the XACT wires if you sort them by the lexicographically lowest (x, y) coordinate a given wire occupies.

01:28 <Wanda[cis]> so I ended up having to write a giant dict that turns these names into something reasonable.

01:29 <Wanda[cis]> https://github.com/prjunnamed/prjcombine/blob/main/prjcombine_xc4000_rd2db/src/int/xc4000e_wires.rs I regret to say this file was not autogenerated.

01:53 <ari> this sounds like a pain

02:12 <Wanda[cis]> well I did say I was delirious when writing it

02:12 <Wanda[cis]> works pretty well though

02:13 <Wanda[cis]> perfectly matches the XC4000 database I extracted from xact two days ago, too (via less brute force ways)

05:08 <mupuf> Wanda[cis]: jeeeeez, must have taken a while :o