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

744 Commits

Author SHA1 Message Date
Alessandro Comodi 1f028f0b00 050-pip-seed: correct Makefile regexp 
Signed-off-by: Alessandro Comodi <acomodi@antmicro.com>
 2019-02-12 19:14:14 +01:00
Alessandro Comodi 50fbacfcb3 054-fan-alt: added max number of bits 
Signed-off-by: Alessandro Comodi <acomodi@antmicro.com>
 2019-02-12 17:55:31 +01:00
Alessandro Comodi 03894a9dab 050-pip-seed: exclude FAN_ALT 
Signed-off-by: Alessandro Comodi <acomodi@antmicro.com>
 2019-02-12 17:55:02 +01:00
Alessandro Comodi b7ca06bd6d added fan-alt fuzzer to get the FAN_ALT?.GFAN? PIPs 
Signed-off-by: Alessandro Comodi <acomodi@antmicro.com>
 2019-02-12 15:23:52 +01:00
Keith Rothman c47746476d Make format. 
Signed-off-by: Keith Rothman <537074+litghost@users.noreply.github.com>
 2019-02-08 10:50:03 -08:00
Keith Rothman 1145e9a270 Dup jobserver fd's for retry. 
Signed-off-by: Keith Rothman <537074+litghost@users.noreply.github.com>
 2019-02-08 10:33:18 -08:00
Keith Rothman e66ffeb3c2 Increase number of tiles available for retries for 057. 
Signed-off-by: Keith Rothman <537074+litghost@users.noreply.github.com>
 2019-02-08 10:32:16 -08:00
Keith Rothman b04598da26 Solve orphan INT columns in Kintex7. 
Signed-off-by: Keith Rothman <537074+litghost@users.noreply.github.com>
 2019-02-07 15:01:09 -08:00
Keith Rothman bcd41b8d08 Add XADC INT and ICAP INT fuzzers to solve 2 of 4 missing INT columns. 
Signed-off-by: Keith Rothman <537074+litghost@users.noreply.github.com>
 2019-02-07 09:36:02 -08:00
Tim 'mithro' Ansell d144c9d2c8 fuzzers: Disable the DSP fuzzer for the moment. 
Signed-off-by: Tim 'mithro' Ansell <me@mith.ro>
 2019-02-07 21:59:25 +11:00
Tim 'mithro' Ansell c590cce721 Write each run into seperate file. 
Signed-off-by: Tim 'mithro' Ansell <me@mith.ro>
 2019-02-07 02:43:44 -08:00
Tim 'mithro' Ansell 7c5103e7f3 Only save the last 1000 lines to XML file. 
Signed-off-by: Tim 'mithro' Ansell <me@mith.ro>
 2019-02-07 02:43:44 -08:00
Tim 'mithro' Ansell ec6be41482 Don't close jobserver fd so retries work. 
Signed-off-by: Tim 'mithro' Ansell <me@mith.ro>
 2019-02-07 02:43:44 -08:00
Tim 'mithro' Ansell 80f3f0ec04 Adding support for writing junit.xml files. 
* Fixes #494.
 * Includes multiple runs in output.
 * Includes stdout / stderr in output.

Signed-off-by: Tim 'mithro' Ansell <me@mith.ro>
 2019-02-07 02:43:44 -08:00
Tim 'mithro' Ansell fa2bf16acc Add retries to run_fuzzer.py 
Signed-off-by: Tim 'mithro' Ansell <me@mith.ro>
 2019-02-07 02:43:44 -08:00
Tim 'mithro' Ansell 772c5cad44 Add success trailer too. 
Signed-off-by: Tim 'mithro' Ansell <me@mith.ro>
 2019-02-07 02:43:44 -08:00
Tim 'mithro' Ansell 4f8ba05073 Use a class rather than a global. 
Signed-off-by: Tim 'mithro' Ansell <me@mith.ro>
 2019-02-07 02:43:44 -08:00
Tim 'mithro' Ansell 09ae28be13 Adding timestamp to log line output. 
Signed-off-by: Tim 'mithro' Ansell <me@mith.ro>
 2019-02-07 02:43:44 -08:00
Tim 'mithro' Ansell a82882a4c0 Always print minutes if displaying hours. 
Signed-off-by: Tim 'mithro' Ansell <me@mith.ro>
 2019-02-07 02:43:44 -08:00
Tim 'mithro' Ansell 314ee62b3f Fixing number of review comments. 
Signed-off-by: Tim 'mithro' Ansell <me@mith.ro>
 2019-02-07 02:43:44 -08:00
Tim 'mithro' Ansell 6249f24fd2 fuzzers: Use make directly when VERBOSE=Y 
Signed-off-by: Tim 'mithro' Ansell <me@mith.ro>
 2019-02-07 02:43:44 -08:00
Tim 'mithro' Ansell f8c3ada041 Adding wrapper to get understandable output. 
* Saves stdout / stderr to log files.
 * Prefixes all messages with fuzzer name.
 * Gives regular status updates.
 * Successfully passes jobserver details down.
 * Correctly handles dry-run and question options.

Signed-off-by: Tim 'mithro' Ansell <me@mith.ro>
 2019-02-07 02:43:44 -08:00
Tim 'mithro' Ansell 378e5f40b1 make: Add `+` so make passes down job information. 
Signed-off-by: Tim 'mithro' Ansell <me@mith.ro>
 2019-02-07 02:43:44 -08:00
Tim 'mithro' Ansell 7985d0c58c make: Pass the jobserver info down. 
Signed-off-by: Tim 'mithro' Ansell <me@mith.ro>
 2019-02-07 02:43:44 -08:00
Keith Rothman 6611b1c19c Add retries to 053 and 055 INT fuzzers. 
Signed-off-by: Keith Rothman <537074+litghost@users.noreply.github.com>
 2019-02-06 11:41:33 -08:00
litghost f7c6f76bb3
Merge pull request #612 from litghost/refactor_int_fuzzers 
Refactor INT fuzzers.
 2019-02-05 09:53:03 -08:00
litghost f4807ebdbf
Merge pull request #608 from litghost/bram_enable_fuzzer 
Add fuzzer for BRAM/FIFO enable bits.
 2019-02-05 06:40:32 -08:00
Keith Rothman 1d54604656 Remove TODO_N for pip-bi solver. 
Signed-off-by: Keith Rothman <537074+litghost@users.noreply.github.com>
 2019-02-04 22:52:14 -08:00
Keith Rothman 429978a23c Add back generate.sh 
Signed-off-by: Keith Rothman <537074+litghost@users.noreply.github.com>
 2019-02-04 20:58:26 -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
Keith Rothman 9e41f72d5a Remove additional dependencies. 
Signed-off-by: Keith Rothman <537074+litghost@users.noreply.github.com>
 2019-02-04 16:38:46 -08:00
Keith Rothman e8cecf2ced Run make format. 
Signed-off-by: Keith Rothman <537074+litghost@users.noreply.github.com>
 2019-02-04 15:39:20 -08:00
Keith Rothman dde035c7ee Simplify bit definition. 
Signed-off-by: Keith Rothman <537074+litghost@users.noreply.github.com>
 2019-02-04 15:39:20 -08:00
Keith Rothman bf817f3548 Add fuzzer for BRAM/FIFO enable bits. 
Signed-off-by: Keith Rothman <537074+litghost@users.noreply.github.com>
 2019-02-04 15:39:20 -08:00
Keith Rothman 9b69725400 Revert Makefile changes, Fixes #582 
Signed-off-by: Keith Rothman <537074+litghost@users.noreply.github.com>
 2019-02-04 15:07:49 -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
Tim 'mithro' Ansell 357c32a53a fuzzers: 074-dump_all depends on 005-tilegrid. 
The `generate_grid.py` tool requires tilegrid.json to run.

Fixes #601.

Signed-off-by: Tim 'mithro' Ansell <me@mith.ro>
 2019-02-03 20:49:28 +11:00
Paul Schulz 0d0116b6eb Makes minor documentation change. 
Signed-off-by: Paul Schulz <paul@mawsonlakes.org>
 2019-02-03 00:59:43 +10:30
Paul Schulz d964d8a363 Makes minor formatting chamges to documentation 
Signed-off-by: Paul Schulz <paul@mawsonlakes.org>
 2019-02-03 00:46:45 +10:30
Keith Rothman 0c4cde2004 Increase sample counter for BRAM config. 
Signed-off-by: Keith Rothman <537074+litghost@users.noreply.github.com>
 2019-02-01 15:15:15 -08:00
Keith Rothman 950d9f5c74 Lower sample count. 
Signed-off-by: Keith Rothman <537074+litghost@users.noreply.github.com>
 2019-02-01 13:57:55 -08:00
Keith Rothman 570b99dd4f Run make format. 
Signed-off-by: Keith Rothman <537074+litghost@users.noreply.github.com>
 2019-02-01 13:57:55 -08:00
Keith Rothman 6caa47202b Output FIFO bits at tile instead of site. 
Signed-off-by: Keith Rothman <537074+litghost@users.noreply.github.com>
 2019-02-01 13:57:55 -08:00
Keith Rothman 0edc3facde Add initial FIFO configuration. 
Signed-off-by: Keith Rothman <537074+litghost@users.noreply.github.com>
 2019-02-01 13:57:47 -08:00
Tim 'mithro' Ansell 93ffa6f827 fuzzers: Fix including Makefiles. 
Fixes #593.

Signed-off-by: Tim 'mithro' Ansell <me@mith.ro>
 2019-01-31 18:24:33 -08:00
Tim Ansell 32d0d56f78
Merge pull request #587 from litghost/fix_typo_in_dsp_mskpat 
Fix typo in 100-dsp-mskpat.
 2019-02-01 12:26:17 +13:00
litghost c614a52d2e
Merge pull request #581 from litghost/bram_cascade-fuzzer 
BRAM Cascade pip fuzzer.
 2019-01-31 13:55:35 -08:00
Keith Rothman ad53bd6b4c Remove _R_ zero db, not required anymore. 
Signed-off-by: Keith Rothman <537074+litghost@users.noreply.github.com>
 2019-01-31 11:01:13 -08: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
litghost a82bb99068
Merge pull request #586 from antmicro/fuzz-all 
fuzzers: Makefile: add explicit all target
 2019-01-31 09:55:54 -08:00