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

1621 Commits

Author SHA1 Message Date
Keith Rothman c444e8a310 Add simplejson to requirements. 
Signed-off-by: Keith Rothman <537074+litghost@users.noreply.github.com>
 2019-01-24 10:12:28 -08:00
Keith Rothman d49897d45d make format 
Signed-off-by: Keith Rothman <537074+litghost@users.noreply.github.com>
 2019-01-24 09:57:45 -08:00
Keith Rothman 136618b29d Add tilegrid report utility. 
Signed-off-by: Keith Rothman <537074+litghost@users.noreply.github.com>
 2019-01-24 09:55:13 -08:00
litghost 53533d8f80
Merge pull request #560 from litghost/fix_format 
Run make format.
 2019-01-23 22:25:04 -08:00
Keith Rothman 980ce529d8 Run make format. 
Signed-off-by: Keith Rothman <537074+litghost@users.noreply.github.com>
 2019-01-23 22:24:20 -08:00
litghost c595847739
Merge pull request #552 from litghost/add_check_json_utility 
Add utility to compare JSON from two database's.
 2019-01-23 17:37:58 -08:00
litghost 94f52823ab
Merge pull request #553 from litghost/diff_db_bits 
Add utility for diffing segbits from two databases.
 2019-01-23 17:37:43 -08:00
Keith Rothman 782d2c4ced Convert shell script to python script. 
Signed-off-by: Keith Rothman <537074+litghost@users.noreply.github.com>
 2019-01-23 13:09:19 -08:00
Keith Rothman d5f51cc1b2 Convert shell script to python script. 
Signed-off-by: Keith Rothman <537074+litghost@users.noreply.github.com>
 2019-01-23 13:03:12 -08:00
litghost 8c7e648f41
Merge pull request #556 from natsfr/patch074 
Fuzzer 074 support integer multiple of nbBlocks
 2019-01-23 11:54:34 -08:00
litghost e1ba0a2a65
Merge pull request #555 from natsfr/master 
Adding modular arguments for parallel Fuzzer 072
 2019-01-23 11:54:22 -08:00
litghost 7c0f556b84
Merge pull request #557 from antmicro/zynq-settings 
settings: zynq: limit ROI to end on hclk_brk
 2019-01-21 09:42:29 -08:00
Karol Gugala 70df7f02c0 settings: zynq: limit ROI to end on hclk_brk 
Signed-off-by: Karol Gugala <kgugala@antmicro.com>
 2019-01-21 18:35:30 +01:00
Mehdi Khairy 83dde348b4 Fuzzer 074 support integer multiple of nbBlocks 
Signed-off-by: Mehdi Khairy <mehdi.khairy@more-magic.org>
 2019-01-19 03:25:35 +01:00
Mehdi Khairy 3b4df2e883 Adding modular arguments for parallel Fuzzer 072 
Signed-off-by: Mehdi Khairy <mehdi.khairy@more-magic.org>
 2019-01-19 02:53:38 +01:00
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
Keith Rothman 5817e5932c Rename script. 
Signed-off-by: Keith Rothman <537074+litghost@users.noreply.github.com>
 2019-01-18 10:10:14 -08:00
Keith Rothman cbaffc8a5d Add utility to compare JSON from two database's. 
Signed-off-by: Keith Rothman <537074+litghost@users.noreply.github.com>
 2019-01-18 10:08:38 -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