f61ccd1f2a
Merge pull request #549 from litghost/accelerate_post_processing
...
Refactor 074 post-processing
2019-01-18 07:09:59 -08:00
4efea261dd
Merge pull request #526 from natsfr/master
...
Reworking Fuzzer 074 for multi thread process
2019-01-18 07:09:31 -08:00
9f4c26c280
Fuzzer 074 Multi Thread optimisation
...
Signed-off-by: Mehdi Khairy <mehdi.khairy@more-magic.org>
2019-01-18 09:17:17 +01:00
9e585ef227
make format.
...
Signed-off-by: Keith Rothman <537074+litghost@users.noreply.github.com>
2019-01-17 21:48:34 -08:00
da10417946
Refactor 074 post-processing.
...
Signed-off-by: Keith Rothman <537074+litghost@users.noreply.github.com>
2019-01-17 21:46:19 -08: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
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
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
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
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
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
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
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
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
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
e7d31b064f
Merge pull request #512 from litghost/increase_n_for_clb_mux
...
Increase N for NFFMUX and NOUTMUX to prevent false matches.
2019-01-15 18:22:11 +01:00
e525def48c
fuzzers: Copy all the db files to build/database
...
Local copy of the database is used to generate todo files.
Since we were not copying all the DB files, the generated
todo files contained previously solved PIPs.
Signed-off-by: Karol Gugala <kgugala@antmicro.com>
2019-01-15 18:14:02 +01:00
b753915718
fuzzers: remove fuzzer 054
...
The PIPs can be resolved by fuzzer 056. 056 is redundant.
Signed-off-by: Karol Gugala <kgugala@antmicro.com>
2019-01-15 18:03:32 +01:00
8e1524c005
Merge pull request #513 from antmicro/int_loop_fix
...
fuzzers: int_loop: create empty DB also in seeded target
2019-01-15 17:58:03 +01:00
517ad6c189
fuzzers: 074: fix path to generate_after_dump
...
Signed-off-by: Karol Gugala <kgugala@antmicro.com>
2019-01-15 16:24:47 +01:00
145d2c9d61
tilegrid: format fix
...
Signed-off-by: Alessandro Comodi <acomodi@antmicro.com>
2019-01-15 11:17:32 +01:00
litghost
Mehdi Khairy
Alessandro Comodi
Karol Gugala