luke
/
prjxray
mirror of https://github.com/openXC7/prjxray.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity
1,814 Commits 31 Branches 4 Tags 7.7 MiB
Commit Graph

234 Commits

Author SHA1 Message Date
Alessandro Comodi e87d6c603f Run make format. 
Signed-off-by: Alessandro Comodi <acomodi@antmicro.com>
 2019-02-12 14:03:53 +01:00
Alessandro Comodi d18a6df1f8 checkdb.py: using db and grid 
Signed-off-by: Alessandro Comodi <acomodi@antmicro.com>
 2019-02-12 14:02:42 +01:00
Alessandro Comodi 1f6054ae0d Run make format. 
Signed-off-by: Alessandro Comodi <acomodi@antmicro.com>
 2019-02-11 17:17:28 +01:00
Alessandro Comodi 530bb1f243 checkdb.py: added some optimizations to script 
I have restored the check on every single tile while also adding some
optimizations to the algorithm. It still is pretty slow, mainly during
the INT_[LR] tiles checking, but compared to the previous solution there is
a good improvement.

Signed-off-by: Alessandro Comodi <acomodi@antmicro.com>
 2019-02-11 14:18:27 +01:00
Alessandro Comodi ad1877f9e5 checkdb: added out of bound bits check and optimized 
Signed-off-by: Alessandro Comodi <acomodi@antmicro.com>
 2019-02-08 15:35:49 +01:00
Tim 'mithro' Ansell 39098dc79e utils: Output path when assert fails. 
Signed-off-by: Tim 'mithro' Ansell <me@mith.ro>
 2019-02-07 21:59:25 +11:00
Keith Rothman c830c27357 Fix frame initialization regression. 
Signed-off-by: Keith Rothman <537074+litghost@users.noreply.github.com>
 2019-02-06 22:18:33 -08:00
Keith Rothman f372849bc0 Update FASM to version that includes output sorting. 
Signed-off-by: Keith Rothman <537074+litghost@users.noreply.github.com>
 2019-02-06 17:12:01 -08:00
Keith Rothman 310d197b8e Add support for non-canonical sorted output. 
Signed-off-by: Keith Rothman <537074+litghost@users.noreply.github.com>
 2019-02-06 16:41:04 -08:00
Keith Rothman 8e8cf174de Refactor INT fuzzers. 
Signed-off-by: Keith Rothman <537074+litghost@users.noreply.github.com>
 2019-02-04 17:45:05 -08:00
Tim 'mithro' Ansell 2eb1bf3bfe fuzzers: Add 000-init-db fuzzer. 
Creates the .db files via make rather than via sourcing settings.sh
allowing pip fuzzers to interact correctly with `make clean`.

Fixes #604.

Signed-off-by: Tim 'mithro' Ansell <me@mith.ro>
 2019-02-05 00:44:09 +11:00
Keith Rothman 6f13ee4155 Merge BRAM_L and BRAM_R solving and decrease maximum candidate count from 4 to 2. 
Signed-off-by: Keith Rothman <537074+litghost@users.noreply.github.com>
 2019-01-31 10:47:55 -08:00
Keith Rothman 7469df937a Run make format. 
Signed-off-by: Keith Rothman <537074+litghost@users.noreply.github.com>
 2019-01-30 17:52:55 -08:00
Keith Rothman 741715851a Initial cascade pip fuzzer. 
Signed-off-by: Keith Rothman <537074+litghost@users.noreply.github.com>
 2019-01-30 14:53:05 -08:00
litghost b116641859
Merge pull request #577 from litghost/small_tools_update 
Set bit2fasm.py as executable and increase context on JSON diff.
 2019-01-30 08:18:41 -08:00
Tim 'mithro' Ansell c52e3fd04a utils: Fix formatting. 
Signed-off-by: Tim 'mithro' Ansell <me@mith.ro>
 2019-01-30 17:20:37 +11:00
Tim 'mithro' Ansell 19d5a24e41 utils: Nicer output format. 
Signed-off-by: Tim 'mithro' Ansell <me@mith.ro>
 2019-01-30 17:11:54 +11:00
Tim 'mithro' Ansell 44117ebb0d utils: More aggressive output checking. 
Signed-off-by: Tim 'mithro' Ansell <me@mith.ro>
 2019-01-30 17:11:54 +11:00
Tim 'mithro' Ansell 73702cd660 utils: Fix the output sort order in Info.md file. 
Signed-off-by: Tim 'mithro' Ansell <me@mith.ro>
 2019-01-30 17:11:54 +11:00
Tim 'mithro' Ansell c45213329c utils: Assert sort stability. 
Make sure the sort order seems stable.

Signed-off-by: Tim 'mithro' Ansell <me@mith.ro>
 2019-01-30 17:11:54 +11:00
Tim 'mithro' Ansell 2950a63769 utils: Fix an instability in cmp method. 
Signed-off-by: Tim 'mithro' Ansell <me@mith.ro>
 2019-01-30 17:11:54 +11:00
Tim 'mithro' Ansell 522ac7901c utils: Info.md can be used to update existing Info.md 
Useful if you just want to reformat the existing files.

Signed-off-by: Tim 'mithro' Ansell <me@mith.ro>
 2019-01-30 17:11:54 +11:00
Tim 'mithro' Ansell 47294cf45d utils: Adding tool for generating the database/Info.md file. 
Signed-off-by: Tim 'mithro' Ansell <me@mith.ro>
 2019-01-30 17:11:54 +11:00
Tim 'mithro' Ansell 8c1fe3f844 utils: Adding tool for sorting the database files. 
Signed-off-by: Tim 'mithro' Ansell <me@mith.ro>
 2019-01-30 17:11:54 +11:00
Keith Rothman 167401833c Set bit2fasm.py as executable and increase context on JSON diff. 
Signed-off-by: Keith Rothman <537074+litghost@users.noreply.github.com>
 2019-01-29 15:51:11 -08:00
Keith Rothman bf8fd49ba4 Remove remaining usage of height, as words is the key. 
Signed-off-by: Keith Rothman <537074+litghost@users.noreply.github.com>
 2019-01-28 11:31:44 -08:00
Keith Rothman 32b9da0d97 Handle A7/K7/Z7 differences gracefully. 
Signed-off-by: Keith Rothman <537074+litghost@users.noreply.github.com>
 2019-01-27 22:30:53 -08:00
Keith Rothman da08dfb99f Add back INT propagation. 
All INT tiles are now populated for artix7 and the INT propagation
sanity checks output of fuzzers to ensure consistency.

Signed-off-by: Keith Rothman <537074+litghost@users.noreply.github.com>
 2019-01-27 16:17:31 -08:00
Keith Rothman 0bc3d9097b Add INT_INTERFACE filtering. 
Signed-off-by: Keith Rothman <537074+litghost@users.noreply.github.com>
 2019-01-27 07:04:09 -08:00
Keith Rothman 1fb3516435 Fix show only missing and sort tiles on verbose. 
Signed-off-by: Keith Rothman <537074+litghost@users.noreply.github.com>
 2019-01-24 11:45:24 -08:00
Keith Rothman e696339059 Add filtering to tilegrid report and options for reporting output. 
Signed-off-by: Keith Rothman <537074+litghost@users.noreply.github.com>
 2019-01-24 11:40:36 -08:00
Keith Rothman d49897d45d make format 
Signed-off-by: Keith Rothman <537074+litghost@users.noreply.github.com>
 2019-01-24 09:57:45 -08:00
Keith Rothman 136618b29d Add tilegrid report utility. 
Signed-off-by: Keith Rothman <537074+litghost@users.noreply.github.com>
 2019-01-24 09:55:13 -08:00
Keith Rothman 980ce529d8 Run make format. 
Signed-off-by: Keith Rothman <537074+litghost@users.noreply.github.com>
 2019-01-23 22:24:20 -08:00
litghost c595847739
Merge pull request #552 from litghost/add_check_json_utility 
Add utility to compare JSON from two database's.
 2019-01-23 17:37:58 -08:00
Keith Rothman 782d2c4ced Convert shell script to python script. 
Signed-off-by: Keith Rothman <537074+litghost@users.noreply.github.com>
 2019-01-23 13:09:19 -08:00
Keith Rothman d5f51cc1b2 Convert shell script to python script. 
Signed-off-by: Keith Rothman <537074+litghost@users.noreply.github.com>
 2019-01-23 13:03:12 -08:00
Keith Rothman 0fbeb0dc32 Add utility for diffing segbits from two databases. 
Signed-off-by: Keith Rothman <537074+litghost@users.noreply.github.com>
 2019-01-18 10:26:39 -08:00
Keith Rothman 5817e5932c Rename script. 
Signed-off-by: Keith Rothman <537074+litghost@users.noreply.github.com>
 2019-01-18 10:10:14 -08:00
Keith Rothman cbaffc8a5d Add utility to compare JSON from two database's. 
Signed-off-by: Keith Rothman <537074+litghost@users.noreply.github.com>
 2019-01-18 10:08:38 -08:00
litghost 1e2f1c6ae1
Merge pull request #533 from antmicro/05x-piplist 
Generate piplist once
 2019-01-17 12:16:09 -08:00
Karol Gugala ea29a0ca5a utils: environment: generate empty db files if missing 
Signed-off-by: Karol Gugala <kgugala@antmicro.com>
 2019-01-16 17:39:03 +01:00
Alessandro Comodi b5f7243f39 utils/environment.sh: added fuzzers dir to env variables 
Signed-off-by: Alessandro Comodi <acomodi@antmicro.com>
 2019-01-16 12:13:49 +01:00
litghost 219fc2cba3
Merge pull request #490 from litghost/add_bit2fasm 
Add utility to convert from bit to FASM in one program.
 2019-01-11 13:53:57 -08:00
Keith Rothman 2ba905130a Remove old bit2fasm files. 
Signed-off-by: Keith Rothman <537074+litghost@users.noreply.github.com>
 2019-01-11 13:13:05 -08:00
Tim 'mithro' Ansell 22fe886d44 Make Python code testable. 
Signed-off-by: Tim 'mithro' Ansell <me@mith.ro>
 2019-01-10 19:54:59 -08:00
Keith Rothman 85ff7fe55c Run make format. 
Signed-off-by: Keith Rothman <537074+litghost@users.noreply.github.com>
 2019-01-10 17:04:05 -08:00
Keith Rothman 26c1c2f226 Add utility to convert from bit to FASM in one program. 
Signed-off-by: Keith Rothman <537074+litghost@users.noreply.github.com>
 2019-01-10 17:02:45 -08:00
Karol Gugala 6c6e90db84 fuzzers: 05x: do not use symbolic link to int_generate.py 
Signed-off-by: Karol Gugala <kgugala@antmicro.com>
 2019-01-10 14:36:36 +01:00
Karol Gugala e6eb0db9f9 utils: top_generate: generate setseed.vh for all targets 
Signed-off-by: Karol Gugala <kgugala@antmicro.com>
 2019-01-09 23:16:22 +01:00