Commit Graph

1582 Commits

Author SHA1 Message Date
litghost c2fbf27f84
Merge pull request #536 from litghost/increase_clb_match_requirement
Increase CLB match requirement.
2019-01-17 14:01:26 -08:00
litghost 2f1790e637
Merge pull request #543 from antmicro/01x-clb-improvement
01x CLB rerun if pushdb fails
2019-01-17 14:01:14 -08:00
Karol Gugala 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
litghost 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
Keith Rothman 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
litghost 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
litghost 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
litghost 1e2f1c6ae1
Merge pull request #533 from antmicro/05x-piplist
Generate piplist once
2019-01-17 12:16:09 -08:00
Keith Rothman 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
Alessandro Comodi 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
Alessandro Comodi 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
Alessandro Comodi 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
Keith Rothman 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
Karol Gugala 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
Karol Gugala 389be483b8 call init_db everytime settings are sourced
Signed-off-by: Karol Gugala <kgugala@antmicro.com>
2019-01-16 17:59:28 +01:00
Alessandro Comodi 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
Karol Gugala 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
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
litghost c5afc3bcb6
Merge pull request #518 from antmicro/remove-fuzz-054
fuzzers: remove fuzzer 054
2019-01-16 07:57:21 -08:00
Keith Rothman cfdacdd193 Increase CLB match requirement.
Signed-off-by: Keith Rothman <537074+litghost@users.noreply.github.com>
2019-01-16 07:54:36 -08:00
Keith Rothman 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
Alessandro Comodi bf05a19525 bipiplist.tcl: changed verilog reference
Signed-off-by: Alessandro Comodi <acomodi@antmicro.com>
2019-01-16 12:48:51 +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
Alessandro Comodi 3b28934d67 fuzzers/int_maketodo.py: added piplist directory
Signed-off-by: Alessandro Comodi <acomodi@antmicro.com>
2019-01-16 12:13:43 +01:00
Alessandro Comodi 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
Alessandro Comodi 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
litghost 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
Keith Rothman 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
Keith Rothman 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
Keith Rothman 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
litghost 5e23c4dfb7
Merge pull request #525 from antmicro/001-fix
fuzzers: 001: fix yaml/json file names
2019-01-15 10:52:16 -08:00
Karol Gugala d9026ba750 fuzzers: 001: fix yaml/json file names
Signed-off-by: Karol Gugala <kgugala@antmicro.com>
2019-01-15 19:48:40 +01:00
litghost 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
litghost 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
Keith Rothman 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 e7b5c4958a
Merge pull request #511 from litghost/more_verbose_db_errors
Accumulate all missing features, rather than stopping on first failure.
2019-01-15 18:23:33 +01:00
Karol Gugala 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
Karol Gugala 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
Karol Gugala 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
Karol Gugala 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
litghost 5a00280a60
Merge pull request #516 from antmicro/074-fix
fuzzers: 074: fix path to generate_after_dump
2019-01-15 08:56:00 -08:00
Karol Gugala 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
Alessandro Comodi 145d2c9d61 tilegrid: format fix
Signed-off-by: Alessandro Comodi <acomodi@antmicro.com>
2019-01-15 11:17:32 +01:00
Alessandro Comodi 458b6b3677 tilegrid: optional int propagation for artix/kintex
Signed-off-by: Alessandro Comodi <acomodi@antmicro.com>
2019-01-15 11:16:01 +01:00
Karol Gugala 47f8f6e30b fuzzers: int_loop: create empty DB also in seeded target
Signed-off-by: Karol Gugala <kgugala@antmicro.com>
2019-01-15 09:58:58 +01:00
Keith Rothman e1b9ab5550 Increase N for NFFMUX and NOUTMUX to prevent false matches.
Signed-off-by: Keith Rothman <537074+litghost@users.noreply.github.com>
2019-01-14 17:06:37 -08:00
Keith Rothman 89bf0115cd Accumulate all missing features, rather than stopping on first failure.
Signed-off-by: Keith Rothman <537074+litghost@users.noreply.github.com>
2019-01-14 11:37:45 -08:00
John Mcmaster a0585e4923
Merge pull request #509 from mcmasterg/yaml_build_dir
part-yaml: build dir
2019-01-14 16:41:42 +01:00
John McMaster 14708a9821 part-yaml: build dir
Signed-off-by: John McMaster <johndmcmaster@gmail.com>
2019-01-14 16:32:40 +01:00
Alessandro Comodi 73d77396c0 005-tilegrid/generate_full.py: readded else branch
Signed-off-by: Alessandro Comodi <acomodi@antmicro.com>
2019-01-14 13:25:43 +01:00