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

1604 Commits

Author SHA1 Message Date
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
litghost f61ccd1f2a
Merge pull request #549 from litghost/accelerate_post_processing 
Refactor 074 post-processing
 2019-01-18 07:09:59 -08:00
litghost 4efea261dd
Merge pull request #526 from natsfr/master 
Reworking Fuzzer 074 for multi thread process
 2019-01-18 07:09:31 -08:00
Karol Gugala d9d1aa9d09
Merge pull request #550 from antmicro/roi-harness 
minitests: ROI harness: call python interpreter explicitly
 2019-01-18 10:30:47 +01:00
Karol Gugala 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
Mehdi Khairy 9f4c26c280 Fuzzer 074 Multi Thread optimisation 
Signed-off-by: Mehdi Khairy <mehdi.khairy@more-magic.org>
 2019-01-18 09:17:17 +01:00
Keith Rothman 9e585ef227 make format. 
Signed-off-by: Keith Rothman <537074+litghost@users.noreply.github.com>
 2019-01-17 21:48:34 -08:00
Keith Rothman da10417946 Refactor 074 post-processing. 
Signed-off-by: Keith Rothman <537074+litghost@users.noreply.github.com>
 2019-01-17 21:46:19 -08:00
litghost 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
Keith Rothman a1a518b852 make format. 
Signed-off-by: Keith Rothman <537074+litghost@users.noreply.github.com>
 2019-01-17 18:45:00 -08:00
litghost 7c1ac325fa
Merge pull request #548 from antmicro/01x-clb-improvement 
fuzzer.mk: remove not needed echo
 2019-01-17 16:07:27 -08:00
Alessandro Comodi 812689d64c fuzzer.mk: remove not needed echo 
Signed-off-by: Alessandro Comodi <acomodi@antmicro.com>
 2019-01-18 01:03:05 +01:00
Keith Rothman fe66a5d22a Add column 30 filter. 
Signed-off-by: Keith Rothman <537074+litghost@users.noreply.github.com>
 2019-01-17 15:29:08 -08:00
litghost 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
litghost 748580a1f2
Merge pull request #544 from antmicro/051-bypalts 
051 bypalts
 2019-01-17 14:01:50 -08:00
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 74f1f0a484 fuzzers: update 051 folder name in Makefile 
Signed-off-by: Karol Gugala <kgugala@antmicro.com>
 2019-01-17 22:54:03 +01: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
Karol Gugala 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
Karol Gugala 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
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
Keith Rothman 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
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
Keith Rothman 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
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
Keith Rothman a409bb8539 Run make format. 
Signed-off-by: Keith Rothman <537074+litghost@users.noreply.github.com>
 2019-01-17 10:49:36 -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 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
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