f4pga / prjxray

Documenting the Xilinx 7-series bit-stream format.
https://f4pga.github.io/prjxray-db/
ISC License
755 stars 148 forks source link

Fuzzers are broken with the Kintex 7 settings #200

Closed mithro closed 5 years ago

mithro commented 5 years ago

Changes to the fuzzers mean they no longer work with the Kintex 7 settings.

So far the following fuzzers work;

mithro commented 5 years ago

The current failing fuzzer is 005-tilegrid it fails with;

+ for x in design*.bit
+ /big/github/SymbiFlow/prjxray-kintex/build/tools/bitread --part_file /big/github/SymbiFlow/prjxray-kintex/database/kintex7/xc7k70tfbg676-2.yaml -F 0x00400100:0x004006ff -o design_SLICE_X6Y50.bits -z -y design_SLICE_X6Y50.bit
Bitstream size: 3157171 bytes
Config size: 789255 words
Number of configuration frames: 7432
DONE
+ for x in design*.bit
+ /big/github/SymbiFlow/prjxray-kintex/build/tools/bitread --part_file /big/github/SymbiFlow/prjxray-kintex/database/kintex7/xc7k70tfbg676-2.yaml -F 0x00400100:0x004006ff -o design_SLICE_X8Y50.bits -z -y design_SLICE_X8Y50.bit
Bitstream size: 3157171 bytes
Config size: 789255 words
Number of configuration frames: 7432
DONE
+ for x in design_*.bits
+ diff -u design.bits design_RAMB36_X0Y10.bits
+ grep '^[-+]bit'
Makefile:13: recipe for target 'specimen_001/OK' failed
make[2]: *** [specimen_001/OK] Error 1
make[2]: Leaving directory '/big/github/SymbiFlow/prjxray-kintex/fuzzers/005-tilegrid'
Makefile:17: recipe for target 'run' failed
make[1]: *** [run] Error 2
make[1]: Leaving directory '/big/github/SymbiFlow/prjxray-kintex/fuzzers/005-tilegrid'
Makefile:10: recipe for target '005-tilegrid/run.ok' failed
make: *** [005-tilegrid/run.ok] Error 2
mcmasterg commented 5 years ago

that failure is due to the bitstream range. I'll create a PR

mithro commented 5 years ago

I succeeded in running all the way to end with latest kintex/settings.sh. You can see the results here -> https://github.com/SymbiFlow/prjxray-db/commit/51bd5eac70e92207a5a147b32ad82790a06554c8 and https://github.com/SymbiFlow/prjxray-db/tree/51bd5eac70e92207a5a147b32ad82790a06554c8/kintex7

GitHub
SymbiFlow/prjxray-db
Project X-Ray Database: XC7 Series. Contribute to SymbiFlow/prjxray-db development by creating an account on GitHub.