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

669 Commits

Author SHA1 Message Date
Keith Rothman da08dfb99f Add back INT propagation. 
All INT tiles are now populated for artix7 and the INT propagation
sanity checks output of fuzzers to ensure consistency.

Signed-off-by: Keith Rothman <537074+litghost@users.noreply.github.com>
 2019-01-27 16:17:31 -08:00
Keith Rothman 3a4fc5eedc Add FIFO INT fuzzer. 
Signed-off-by: Keith Rothman <537074+litghost@users.noreply.github.com>
 2019-01-27 11:07:30 -08:00
Keith Rothman a83fadf2a6 run make format. 
Signed-off-by: Keith Rothman <537074+litghost@users.noreply.github.com>
 2019-01-27 08:20:48 -08:00
Keith Rothman 40e7771fa5 Add HCLK back to tilegrid. 
Signed-off-by: Keith Rothman <537074+litghost@users.noreply.github.com>
 2019-01-27 08:20:48 -08:00
Keith Rothman be334a38df Run make format. 
Signed-off-by: Keith Rothman <537074+litghost@users.noreply.github.com>
 2019-01-27 08:20:48 -08:00
Keith Rothman 6424e5a701 Add DSP INT fuzzer. 
Signed-off-by: Keith Rothman <537074+litghost@users.noreply.github.com>
 2019-01-27 08:20:48 -08:00
Keith Rothman 0c94434db7 Add DSP back to tilegrid. 
Signed-off-by: Keith Rothman <537074+litghost@users.noreply.github.com>
 2019-01-27 08:20:48 -08:00
Keith Rothman b6c2e1ccb7 Make format. 
Signed-off-by: Keith Rothman <537074+litghost@users.noreply.github.com>
 2019-01-27 08:20:48 -08:00
Keith Rothman 598c180a9f Add INT tile fuzzers for CLB, IOB and BRAM tiles. 
Signed-off-by: Keith Rothman <537074+litghost@users.noreply.github.com>
 2019-01-27 08:20:48 -08:00
Keith Rothman 8cbbbfc4f8 Add INT tiles for IOB. 
Signed-off-by: Keith Rothman <537074+litghost@users.noreply.github.com>
 2019-01-27 08:20:48 -08:00
Keith Rothman 6a7acd4b23 Refactor all existing tiles to fuzzer approach. 
Signed-off-by: Keith Rothman <537074+litghost@users.noreply.github.com>
 2019-01-27 08:20:48 -08:00
Keith Rothman 8cbac3ee7a Add monitor bits to tilegrid. 
Signed-off-by: Keith Rothman <537074+litghost@users.noreply.github.com>
 2019-01-27 08:20:48 -08:00
Keith Rothman 48b39c8c4e make format. 
Signed-off-by: Keith Rothman <537074+litghost@users.noreply.github.com>
 2019-01-27 08:20:48 -08:00
Keith Rothman d6754069bd Expand tilegrid to entire grid. 
Signed-off-by: Keith Rothman <537074+litghost@users.noreply.github.com>
 2019-01-27 08:20:48 -08:00
Keith Rothman 739886c934 Increase 056 strictness. 
Signed-off-by: Keith Rothman <537074+litghost@users.noreply.github.com>
 2019-01-23 22:25:57 -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
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
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
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
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
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 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
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
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
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
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