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

678 Commits

Author SHA1 Message Date
Karol Gugala 88646806ed Fuzzers: Makefile: use single colon target for run.ok targets 
Signed-off-by: Karol Gugala <kgugala@antmicro.com>
 2019-01-29 16:45:07 +01:00
Alessandro Comodi 060b71cc5b pips-hclk: add run.ok to Makefile 
Signed-off-by: Alessandro Comodi <acomodi@antmicro.com>
 2019-01-29 12:35:02 +01:00
Keith Rothman ff3839f2b1 Remove some of the __future__.] 
Signed-off-by: Keith Rothman <537074+litghost@users.noreply.github.com>
 2019-01-28 12:54:36 -08:00
Keith Rothman 2b223ac86c Run make format. 
Signed-off-by: Keith Rothman <537074+litghost@users.noreply.github.com>
 2019-01-28 11:32:16 -08:00
Keith Rothman bf8fd49ba4 Remove remaining usage of height, as words is the key. 
Signed-off-by: Keith Rothman <537074+litghost@users.noreply.github.com>
 2019-01-28 11:31:44 -08:00
Keith Rothman 3c211aa462 Port 100-dsp-mskpat to top.py structure. 
Signed-off-by: Keith Rothman <537074+litghost@users.noreply.github.com>
 2019-01-28 11:30:49 -08:00
Keith Rothman 44ce9a46e8 Disable DSP INT fuzzer on kintex7. 
Signed-off-by: Keith Rothman <537074+litghost@users.noreply.github.com>
 2019-01-27 22:52:52 -08:00
Keith Rothman d6fbee2e4d Run make format. 
Signed-off-by: Keith Rothman <537074+litghost@users.noreply.github.com>
 2019-01-27 22:32:07 -08:00
Keith Rothman 32b9da0d97 Handle A7/K7/Z7 differences gracefully. 
Signed-off-by: Keith Rothman <537074+litghost@users.noreply.github.com>
 2019-01-27 22:30:53 -08:00
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