9ca49d1979
minitests: ROI harness: call python interpreter explicitly
...
The scripts do not have execution rights, so the build fails on calling them.
Explicit interpreter call solves the issue.
Signed-off-by: Karol Gugala <kgugala@antmicro.com>
2019-01-18 10:21:00 +01:00
549b21d533
Merge pull request #539 from litghost/filter_clb_bits
...
Filter some CLB bits that the INT fuzzers tend to include due to high correlation
2019-01-17 18:50:47 -08:00
a1a518b852
make format.
...
Signed-off-by: Keith Rothman <537074+litghost@users.noreply.github.com>
2019-01-17 18:45:00 -08:00
7c1ac325fa
Merge pull request #548 from antmicro/01x-clb-improvement
...
fuzzer.mk: remove not needed echo
2019-01-17 16:07:27 -08:00
812689d64c
fuzzer.mk: remove not needed echo
...
Signed-off-by: Alessandro Comodi <acomodi@antmicro.com>
2019-01-18 01:03:05 +01:00
fe66a5d22a
Add column 30 filter.
...
Signed-off-by: Keith Rothman <537074+litghost@users.noreply.github.com>
2019-01-17 15:29:08 -08:00
80fefc8324
Merge pull request #538 from litghost/change_int_termination_criteria_to_progress
...
Change INT termination criteria to progress
2019-01-17 15:28:02 -08:00
748580a1f2
Merge pull request #544 from antmicro/051-bypalts
...
051 bypalts
2019-01-17 14:01:50 -08:00
c2fbf27f84
Merge pull request #536 from litghost/increase_clb_match_requirement
...
Increase CLB match requirement.
2019-01-17 14:01:26 -08:00
2f1790e637
Merge pull request #543 from antmicro/01x-clb-improvement
...
01x CLB rerun if pushdb fails
2019-01-17 14:01:14 -08:00
74f1f0a484
fuzzers: update 051 folder name in Makefile
...
Signed-off-by: Karol Gugala <kgugala@antmicro.com>
2019-01-17 22:54:03 +01:00
2b187e6053
Merge pull request #546 from litghost/litghost-patch-1
...
Call bit2fasm.py instead of bits2fasm.py
2019-01-17 22:51:47 +01:00
95e9a3b99e
raname fuzzer 051 to what it actually does
...
Signed-off-by: Karol Gugala <kgugala@antmicro.com>
2019-01-17 22:49:23 +01:00
d172087a5a
fuzzers: adjust fuzzer 051 so it can solve BYP_ALTs
...
Signed-off-by: Karol Gugala <kgugala@antmicro.com>
2019-01-17 22:49:23 +01:00
5586db5cc2
Merge pull request #547 from SymbiFlow/litghost-patch-1
...
Fix clean not working in 005-tilegrid
2019-01-17 13:48:18 -08:00
c6963694f1
Fix clean not working in 005-tilegrid.
...
Signed-off-by: Keith Rothman <537074+litghost@users.noreply.github.com>
2019-01-17 13:31:43 -08:00
caccbd39e0
Terminate when minimum progress is not achieved rather than stability.
...
050 does wait until PIPs matching "(IMUX.*GFAN)" are solved, as other
fuzzers do not find these PIPs.
Signed-off-by: Keith Rothman <537074+litghost@users.noreply.github.com>
2019-01-17 12:52:03 -08:00
a24e75d63c
Merge pull request #503 from antmicro/propagate-int-ps7
...
005-tilegrid/generate_full: propagating INT_L base addrs
2019-01-17 12:48:21 -08:00
4ccb89307a
Use correct envvar for picking bitfilter.
...
Signed-off-by: Keith Rothman <537074+litghost@users.noreply.github.com>
2019-01-17 12:42:41 -08:00
0b788e8b7b
Merge pull request #535 from litghost/increase_n_per_loop
...
Increase solved PIPs per loop to 50.
2019-01-17 12:18:11 -08:00
1e2f1c6ae1
Merge pull request #533 from antmicro/05x-piplist
...
Generate piplist once
2019-01-17 12:16:09 -08:00
30edf041b8
Call bit2fasm.py instead of bits2fasm.py
...
Signed-off-by: Keith Rothman <537074+litghost@users.noreply.github.com>
2019-01-17 11:15:28 -08:00
a409bb8539
Run make format.
...
Signed-off-by: Keith Rothman <537074+litghost@users.noreply.github.com>
2019-01-17 10:49:36 -08:00
b8d645fc21
clb.mk and fuzzer.mk: checking only local db with parsedb
...
Signed-off-by: Alessandro Comodi <acomodi@antmicro.com>
2019-01-17 18:33:11 +01:00
13e5fbdf99
clb.mk and fuzzer.mk: rerun the fuzzer in case of failure
...
Signed-off-by: Alessandro Comodi <acomodi@antmicro.com>
2019-01-17 15:35:29 +01:00
8b66865106
01x-clb/top.py: Added CLBN increment from env var
...
Signed-off-by: Alessandro Comodi <acomodi@antmicro.com>
2019-01-17 15:31:50 +01:00
ee1a0c6b3e
Filter some CLB bits that the INT fuzzers tend to include due to high correlation.
...
Signed-off-by: Keith Rothman <537074+litghost@users.noreply.github.com>
2019-01-16 15:14:14 -08:00
232d88f880
Remove TODO_N from 051 and add back TODO_N=10 for 052 to prevent unroutability.
...
Signed-off-by: Keith Rothman <537074+litghost@users.noreply.github.com>
2019-01-16 14:57:53 -08:00
1141a507a5
Merge pull request #531 from antmicro/empty-db
...
create empty db files if they don't exist
2019-01-16 18:05:27 +01:00
389be483b8
call init_db everytime settings are sourced
...
Signed-off-by: Karol Gugala <kgugala@antmicro.com>
2019-01-16 17:59:28 +01:00
11d42757bf
fuzzers/int_loop.mk: fixed dependency in makefile
...
Signed-off-by: Alessandro Comodi <acomodi@antmicro.com>
2019-01-16 17:43:51 +01:00
a2fa9fe7cc
fuzzers: int_loop: always copy db files to local db
...
Those files should always exist - environment script creates missing ones.
Signed-off-by: Karol Gugala <kgugala@antmicro.com>
2019-01-16 17:39:36 +01:00
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
c5afc3bcb6
Merge pull request #518 from antmicro/remove-fuzz-054
...
fuzzers: remove fuzzer 054
2019-01-16 07:57:21 -08:00
cfdacdd193
Increase CLB match requirement.
...
Signed-off-by: Keith Rothman <537074+litghost@users.noreply.github.com>
2019-01-16 07:54:36 -08:00
21ffca87d2
Increase solved PIPs per loop to 50.
...
Signed-off-by: Keith Rothman <537074+litghost@users.noreply.github.com>
2019-01-16 07:53:35 -08:00
bf05a19525
bipiplist.tcl: changed verilog reference
...
Signed-off-by: Alessandro Comodi <acomodi@antmicro.com>
2019-01-16 12:48:51 +01:00
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
3b28934d67
fuzzers/int_maketodo.py: added piplist directory
...
Signed-off-by: Alessandro Comodi <acomodi@antmicro.com>
2019-01-16 12:13:43 +01:00
5b7575bdd2
fuzzers/Makefiles: pips_int_*.txt now directed to piplist folder
...
All the fuzzers that made use of the pips_int_*.txt files now seek for
those dependencies in the fuzzers/piplist/build folder so there is no
need to regenerate them if already present
Signed-off-by: Alessandro Comodi <acomodi@antmicro.com>
2019-01-16 12:07:00 +01:00
c48a5bc597
fuzzers/piplist: Moving piplist files to piplist folder
...
Signed-off-by: Alessandro Comodi <acomodi@antmicro.com>
2019-01-16 12:06:17 +01:00
3f2305c542
Merge pull request #527 from litghost/add_retries_to_bipip_fuzzer
...
Add retries to bidirection PIP fuzzer.
2019-01-15 12:44:56 -08:00
63b397199c
Move 1-time part of loop out of loop.
...
Signed-off-by: Keith Rothman <537074+litghost@users.noreply.github.com>
2019-01-15 12:38:11 -08:00
dc060064c3
Fix copy/paste error, no such var as myff.
...
Signed-off-by: Keith Rothman <537074+litghost@users.noreply.github.com>
2019-01-15 12:30:52 -08:00
4ba4c6b897
Add retries to bidirection PIP fuzzer.
...
Signed-off-by: Keith Rothman <537074+litghost@users.noreply.github.com>
2019-01-15 12:17:40 -08:00
5e23c4dfb7
Merge pull request #525 from antmicro/001-fix
...
fuzzers: 001: fix yaml/json file names
2019-01-15 10:52:16 -08:00
d9026ba750
fuzzers: 001: fix yaml/json file names
...
Signed-off-by: Karol Gugala <kgugala@antmicro.com>
2019-01-15 19:48:40 +01:00
d601d0e8c9
Merge pull request #522 from litghost/increase_n_for_clb_in_mux
...
Increase N to prevent including INT bits.
2019-01-15 10:27:32 -08:00
53511faae7
Merge pull request #520 from antmicro/todo-fix
...
fuzzers: Copy all the db files to build/database
2019-01-15 09:31:56 -08:00
051693b375
Increase N to prevent including INT bits.
...
Signed-off-by: Keith Rothman <537074+litghost@users.noreply.github.com>
2019-01-15 09:27:58 -08:00
Karol Gugala
litghost
Alessandro Comodi