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

1447 Commits

Author SHA1 Message Date
Tomasz Michalak 5de6e16b29 005-tilegrid: Add alias for IOI3_SING tiles 
Signed-off-by: Tomasz Michalak <tmichalak@antmicro.com>
 2019-07-26 13:34:44 +02:00
Keith Rothman a724be9a08 Add additional features for IDELAY. 
Signed-off-by: Keith Rothman <537074+litghost@users.noreply.github.com>
 2019-07-25 15:40:04 -07:00
Alessandro Comodi 5409992f03 make format 
Signed-off-by: Alessandro Comodi <acomodi@antmicro.com>
 2019-07-25 18:57:03 +02:00
Alessandro Comodi fec82e9818 036-ologic: add IN_USE oserdes 
Signed-off-by: Alessandro Comodi <acomodi@antmicro.com>
 2019-07-25 18:48:34 +02:00
Keith Rothman 82df57c816 Add write_io_banks.tcl for listing IO banks. 
Signed-off-by: Keith Rothman <537074+litghost@users.noreply.github.com>
 2019-07-25 09:40:04 -07:00
litghost 4fd53f65a8
Merge pull request #971 from litghost/ologic_update 
Add some additional OLOGIC bits.
 2019-07-25 09:18:27 -07:00
Alessandro Comodi 702ae02655 pips: fix maketodo 
Signed-off-by: Alessandro Comodi <acomodi@antmicro.com>
 2019-07-25 15:06:12 +02:00
Alessandro Comodi 089b2c447e 037-ioi-pips: fixed and cleaned fuzzer 
Signed-off-by: Alessandro Comodi <acomodi@antmicro.com>
 2019-07-24 18:23:19 +02:00
Keith Rothman e3b5fe97f4 Make CLKB for ISERDES work correctly. 
Signed-off-by: Keith Rothman <537074+litghost@users.noreply.github.com>
 2019-07-24 18:23:19 +02:00
Keith Rothman b1780e76a0 Refactor 037 to capture non-inverted pips. 
Signed-off-by: Keith Rothman <537074+litghost@users.noreply.github.com>
 2019-07-24 18:23:19 +02:00
Alessandro Comodi e26a6432a4 iob-pips: initial attempt to document ioi pips 
Signed-off-by: Alessandro Comodi <acomodi@antmicro.com>
 2019-07-24 18:23:19 +02:00
Keith Rothman d364c689fd Add some additional OLOGIC bits. 
- Add OLOGIC D1 mux (for OLOGIC passthrough).
 - Add OQUSED, TQUSED features.

Signed-off-by: Keith Rothman <537074+litghost@users.noreply.github.com>
 2019-07-24 08:43:30 -07:00
litghost b6b8dc19cd
Merge pull request #968 from antmicro/idelay-tbytesrc-tbyteterm 
Pushing bits for IOI3 to the DB also for TBYTESRC and TBYTETERM tiles
 2019-07-24 08:31:00 -07:00
Keith Rothman e217fbb7c7 Add print on success when checking single design. 
Signed-off-by: Keith Rothman <537074+litghost@users.noreply.github.com>
 2019-07-23 17:27:44 -07:00
litghost e3b58d631e
Merge pull request #969 from antmicro/calculate-carry-timings 
Calculate carry timings
 2019-07-23 17:23:46 -07:00
Keith Rothman fa2f61f914 Run make format. 
Signed-off-by: Keith Rothman <537074+litghost@users.noreply.github.com>
 2019-07-23 17:21:26 -07:00
Keith Rothman 879e3c9eb9 Merge branch 'master' into update_iob_fuzzer 2019-07-23 13:45:58 -07:00
Keith Rothman a7ba547acb Filter out non-IOB bits. 
Also add output from LiteX to verify IOB FASM features.

Signed-off-by: Keith Rothman <537074+litghost@users.noreply.github.com>
 2019-07-23 13:38:03 -07:00
Keith Rothman aa331131f2 Refactor IOB fuzzer. 
- Add SSTL135
 - Refactor process_rdb to handle varying SLEW by IOSTANDARD.

Signed-off-by: Keith Rothman <537074+litghost@users.noreply.github.com>
 2019-07-23 08:36:38 -07:00
litghost 293074ee42
Merge pull request #967 from antmicro/036-iob-ologic-data-rate-oq 
036-iob-ologic: Solve bits for DATA_RATE_OQ
 2019-07-23 07:16:25 -07:00
Karol Gugala 2b93883d78 fuzzers: 007: run make format 
Signed-off-by: Karol Gugala <kgugala@antmicro.com>
 2019-07-23 14:50:10 +02:00
Karol Gugala 10e022140e fuzzers: 007: reorganize Makefiles 
Signed-off-by: Karol Gugala <kgugala@antmicro.com>
 2019-07-23 14:49:45 +02:00
Maciej Kurc ba486f8c71 Added pushing xIOI3 bits to the database also for [LR]IOI3_TBYTESRC and [LR]IOI3_TBYTETERM 
Signed-off-by: Maciej Kurc <mkurc@antmicro.com>
 2019-07-23 13:35:21 +02:00
Tomasz Michalak 22c7925aa0 036-iob-ologic: Solve bits for DATA_RATE_OQ 
Signed-off-by: Tomasz Michalak <tmichalak@antmicro.com>
 2019-07-23 11:50:19 +02:00
Lukasz Dalek 7665003311 fuzzers: 007-timing: Add CARRY4 [ABCD]CY muxes 
Signed-off-by: Lukasz Dalek <ldalek@antmicro.com>
 2019-07-23 10:21:02 +02:00
Keith Rothman ff4425b91a Update 035a using knowledge from #954 tool. 
Signed-off-by: Keith Rothman <537074+litghost@users.noreply.github.com>
 2019-07-22 10:34:02 -07:00
litghost ae526981a2
Merge pull request #946 from antmicro/idelay-fuzzer 
Fuzzer for IDELAY
 2019-07-22 10:04:36 -07:00
Maciej Kurc b659a168da Changed function for getting XY location of a site. 
Signed-off-by: Maciej Kurc <mkurc@antmicro.com>
 2019-07-21 20:30:09 +02:00
Maciej Kurc 4bf494b76e Fixed top.py 
Signed-off-by: Maciej Kurc <mkurc@antmicro.com>
 2019-07-19 09:19:56 +02:00
Tomasz Michalak 35ee0830a7 047-hclk-ioi-pips: Add targeted todo list routing to vivado script 
Signed-off-by: Tomasz Michalak <tmichalak@antmicro.com>
 2019-07-19 08:19:00 +02:00
Tomasz Michalak 8aaef604cb 047-hclk-ioi-pips: Filter out PIPs that are not being solved currently 
Signed-off-by: Tomasz Michalak <tmichalak@antmicro.com>
 2019-07-19 08:19:00 +02:00
Tomasz Michalak 727d5ca377 fuzzers: Add fuzzer for HCLK_IOI3 PIPs 
Signed-off-by: Tomasz Michalak <tmichalak@antmicro.com>
 2019-07-19 08:19:00 +02:00
Maciej Kurc 813f3a8570 Fixed a bug in Makefile 
Signed-off-by: Maciej Kurc <mkurc@antmicro.com>
 2019-07-18 09:17:24 +02:00
Maciej Kurc c935d44fdc Added fuzzing of local inverters 
Signed-off-by: Maciej Kurc <mkurc@antmicro.com>
 2019-07-18 09:17:24 +02:00
Maciej Kurc c880707d27 Final fixes to the fuzzer. 
Signed-off-by: Maciej Kurc <mkurc@antmicro.com>
 2019-07-18 09:17:24 +02:00
Maciej Kurc 3c30f9f34a Fixes to the fuzzer 
Signed-off-by: Maciej Kurc <mkurc@antmicro.com>
 2019-07-18 09:17:24 +02:00
Maciej Kurc bbc908d6d8 Initial IODELAY fuzzer 
Signed-off-by: Maciej Kurc <mkurc@antmicro.com>
 2019-07-18 09:17:24 +02:00
litghost db785ed575
Merge pull request #945 from antmicro/loop_check_print_format 
int_loop_check.py: Fix output formatting
 2019-07-17 09:01:36 -07:00
Tomasz Michalak d750e4fb43 int_loop_check.py: Fix output formatting 
Signed-off-by: Tomasz Michalak <tmichalak@antmicro.com>
 2019-07-15 10:08:45 +02:00
Tomasz Michalak f5ba30a81c 038-cfg: Add fuzzer for the CFG tile 
Signed-off-by: Tomasz Michalak <tmichalak@antmicro.com>
 2019-07-13 07:10:18 +02:00
litghost 36af12c149
Merge pull request #933 from antmicro/016-doutmux-amc31 
Fuzzer for DOUTMUX.MC31 and DFFMUX.MC31
 2019-07-10 15:47:33 -07:00
litghost 2d13b11f13
Merge pull request #935 from litghost/more_ilogic_bits 
Expand ILOGIC fuzzer to document additional ISERDES bits.
 2019-07-10 11:21:08 -07:00
Maciej Kurc b7fc6734d2 Ran format-py 
Signed-off-by: Maciej Kurc <mkurc@antmicro.com>
 2019-07-10 16:15:28 +02:00
Maciej Kurc 1e6b85b8a8 Increased number of specimens and CLBs 
Signed-off-by: Maciej Kurc <mkurc@antmicro.com>
 2019-07-10 16:07:11 +02:00
Maciej Kurc e08ce61fbe Modified 015 to include DFFMUX.MC31 for SLICEM 
Signed-off-by: Maciej Kurc <mkurc@antmicro.com>
 2019-07-10 16:06:07 +02:00
Maciej Kurc 56cb76e90f Added a makefile which allows to fuzz features for both SLICEM and SLICEL but separate them during database merge. 
Signed-off-by: Maciej Kurc <mkurc@antmicro.com>
 2019-07-10 15:06:58 +02:00
litghost 05ef773e60
Merge pull request #938 from antmicro/mmcme2-base-addr-fix 
fuzzers: tilegrid: mmcme: LOC mmcme2_adv instances
 2019-07-09 21:14:29 -07:00
Karol Gugala b989c2fc05 fuzzers: tilegrid: mmcme: LOC mmcme2_adv instances 
Signed-off-by: Karol Gugala <kgugala@antmicro.com>
 2019-07-09 18:42:04 +02:00
Keith Rothman 280191ce0e Attempt to fix fuzzer error. 
Signed-off-by: Keith Rothman <537074+litghost@users.noreply.github.com>
 2019-07-08 17:16:45 -07:00
Keith Rothman 2a242bbd62 Expand ILOGIC fuzzer to document additional ISERDES bits. 
Signed-off-by: Keith Rothman <537074+litghost@users.noreply.github.com>
 2019-07-08 17:00:06 -07:00
Keith Rothman f92fb52576 Merge branch 'master' into add_pll_interconnect_fuzzer 2019-07-08 11:22:49 -07:00
Maciej Kurc 67dba10fb7 Modified fuzzer 016 to include DOUTMUX.AMC31 feature. 
Signed-off-by: Maciej Kurc <mkurc@antmicro.com>
 2019-07-08 15:39:06 +02:00
Tomasz Michalak 948a3b21cc
Merge pull request #915 from antmicro/913_hclk_ioi_baseaddress 
Calculate base addresses for HCLK_IOI3 tiles.
 2019-07-04 23:32:20 +02:00
Keith Rothman b77c47b155 Fixes for zynq7 and PLL fuzzing. 
Signed-off-by: Keith Rothman <537074+litghost@users.noreply.github.com>
 2019-07-03 13:19:03 -07:00
Keith Rothman a7f5a305b9 Add 034 to fuzzer makefile. 
Signed-off-by: Keith Rothman <537074+litghost@users.noreply.github.com>
 2019-07-03 13:19:03 -07:00
Keith Rothman 2728b781d1 Limit pips to the ones we care about. 
Signed-off-by: Keith Rothman <537074+litghost@users.noreply.github.com>
 2019-07-03 13:19:03 -07:00
Keith Rothman 30648d554a Complete initial PLL fuzzer. 
This solves for all unknown bits, but results in a large "IN_USE"
feature for apparently constant bits.

Signed-off-by: Keith Rothman <537074+litghost@users.noreply.github.com>
 2019-07-03 13:18:58 -07:00
Keith Rothman bc822f8337 Update 032 with some fixes found during interconnect fuzzing. 
Signed-off-by: Keith Rothman <537074+litghost@users.noreply.github.com>
 2019-07-03 13:18:58 -07:00
Keith Rothman 68ad409d23 Refactor PLL segbits to leverage known register file. 
Signed-off-by: Keith Rothman <537074+litghost@users.noreply.github.com>
 2019-07-03 13:18:53 -07:00
Karol Gugala 78346781ce fuzzers: 007: fix Makefile targets definitions 
Signed-off-by: Karol Gugala <kgugala@antmicro.com>
 2019-07-02 19:04:10 +02:00
Karol Gugala 28d961a650 fuzzers: routing BELs: group timings by interconn oputput 
Signed-off-by: Karol Gugala <kgugala@antmicro.com>
 2019-07-02 13:08:14 +02:00
Tomasz Michalak e096d9c172 005-tilegrid: Add HCLK_IOI base addresses calculation 
Signed-off-by: Tomasz Michalak <tmichalak@antmicro.com>
 2019-07-01 08:58:45 +02:00
Karol Gugala 6cc614f1fb fuzzers: 007: fix BEL fuzzer Makefile 
Signed-off-by: Karol Gugala <kgugala@antmicro.com>
 2019-06-29 14:12:08 +02:00
Karol Gugala 9658653da8 fuzzers: bel: emit routing bels timings as INTERCONN 
Signed-off-by: Karol Gugala <kgugala@antmicro.com>
 2019-06-29 14:12:08 +02:00
Karol Gugala 03252bc46f fuzzers: 007: add gitignores 
Signed-off-by: Karol Gugala <kgugala@antmicro.com>
 2019-06-29 14:12:08 +02:00
Karol Gugala a99e26bbd4 fuzzers: 007: make both bels and routing-bels 
Signed-off-by: Karol Gugala <kgugala@antmicro.com>
 2019-06-29 14:12:08 +02:00
Karol Gugala cb3a2b42d7 fuzzers: 007: produce sdf files for routing bels 
Signed-off-by: Karol Gugala <kgugala@antmicro.com>
 2019-06-29 14:12:08 +02:00
Karol Gugala 2c1d4342b7 fuzzers: 007: format python 
Signed-off-by: Karol Gugala <kgugala@antmicro.com>
 2019-06-29 14:12:08 +02:00
Karol Gugala ec28d95604 fuzzers: 007: add routing BELs fuzzer 
Signed-off-by: Karol Gugala <kgugala@antmicro.com>
 2019-06-29 14:12:08 +02:00
Tomasz Michalak 36e9120fc7 Fix problem with falsely ignored PIPs 
Signed-off-by: Tomasz Michalak <tmichalak@antmicro.com>
 2019-06-27 08:01:01 +02:00
litghost 5fb2153a0a
Merge pull request #889 from antmicro/875_44_clk_bufg_pips 
Fix duplicate tag in 044-clk-bufg-pips
 2019-06-26 08:31:58 -07:00
Alessandro Comodi ca6bbee193
Merge pull request #908 from antmicro/fix-bram-timing-fuzzer 
007-timing: added missing aliases for bram timing
 2019-06-26 13:00:20 +02:00
litghost b8f64484da
Merge pull request #901 from antmicro/bel-fuzzer-stabilization 
BEL fuzzer stabilization
 2019-06-25 10:43:12 -07:00
litghost 73a6bc5d77
Merge pull request #906 from antmicro/tilegrid_ioi 
Calculate base addresses for IOI tiles
 2019-06-25 10:20:06 -07:00
Tomasz Michalak 00c4672c12 fuzzers: Add 046-clk-bufg-mixed-pips fuzzer 
Signed-off-by: Tomasz Michalak <tmichalak@antmicro.com>
 2019-06-25 18:52:00 +02:00
Tomasz Michalak 19ed8c5af8 044-clk-bufg-pips: Exclude CK_BUFG_(BOT|TOP)_R_CK_MUXED from todo list 
Signed-off-by: Tomasz Michalak <tmichalak@antmicro.com>
 2019-06-25 18:52:00 +02:00
litghost 5845918552
Merge pull request #838 from antmicro/041_clk_hrow_pips_timeout 
041-clk-hrow-pips: Fix timeout and bit collision problems
 2019-06-25 09:18:44 -07:00
Alessandro Comodi 6476443a52 007-timing: added missing aliases for bram timing 
Signed-off-by: Alessandro Comodi <acomodi@antmicro.com>
 2019-06-25 17:13:44 +02:00
Tomasz Michalak 86164fdc18 005-tilegrid: propagate IOI SING and Y9 tiles 
Signed-off-by: Tomasz Michalak <tmichalak@antmicro.com>
 2019-06-25 12:12:37 +02:00
Tomasz Michalak 9fb26b6915 005-tilegrid: calculate IOI base address 
Signed-off-by: Tomasz Michalak <tmichalak@antmicro.com>
 2019-06-25 11:32:32 +02:00
Karol Gugala f6450b72b8 fuzzers: 007: bel: sort timing keywords 
Signed-off-by: Karol Gugala <kgugala@antmicro.com>
 2019-06-21 17:28:48 +02:00
Karol Gugala a560cc3500 fuzzers: 007: bel: do not copy timing data 
Signed-off-by: Karol Gugala <kgugala@antmicro.com>
 2019-06-21 17:28:05 +02:00
Karol Gugala 7821cb743c fuzzers: 007: refactor bel properties handling 
Signed-off-by: Karol Gugala <kgugala@antmicro.com>
 2019-06-21 17:27:26 +02:00
Karol Gugala b4634413da fuzzers: 007: bel: use functions for searching in speed_model 
Signed-off-by: Karol Gugala <kgugala@antmicro.com>
 2019-06-21 17:25:37 +02:00
Keith Rothman 29210f81da Add empty defaults for additional new database files. 
Signed-off-by: Keith Rothman <537074+litghost@users.noreply.github.com>
 2019-06-20 09:39:41 -07:00
Keith Rothman 01a0be3162 Add support to zero db to support simple groups. 
Previously these kinds of zero groups would require encoding the
final bits, rather than tags.  This is extends the dbfixup to
construct groups via groups of tags, rather than groups of bits.

Signed-off-by: Keith Rothman <537074+litghost@users.noreply.github.com>
 2019-06-19 14:46:39 -07:00
Tomasz Michalak 8c059c627b int_maketodo.py: Replace assertion with warning if PIP can't be balanced 
Signed-off-by: Tomasz Michalak <tmichalak@antmicro.com>
 2019-06-19 11:11:40 +02:00
Tomasz Michalak 5831cf604f fuzzers: Re-enable fuzzer 041-clk-hrow-pips 
Signed-off-by: Tomasz Michalak <tmichalak@antmicro.com>
 2019-06-19 11:11:20 +02:00
Tomasz Michalak 2814254cbf 041-clk-hrow-pips: Balance todo list 
Signed-off-by: Tomasz Michalak <tmichalak@antmicro.com>
 2019-06-19 11:11:20 +02:00
Tomasz Michalak 678f915467 041-clk-hrow-pips: Don't solve fake features 
Signed-off-by: Tomasz Michalak <tmichalak@antmicro.com>
 2019-06-19 11:11:20 +02:00
Karol Gugala d5dc09948a fuzzers: 007: remove unused code 
Signed-off-by: Karol Gugala <kgugala@antmicro.com>
 2019-06-19 10:53:19 +02:00
Karol Gugala 0fe609353e fuzzers: 007: update docstring for find_aliased_pin 
Signed-off-by: Karol Gugala <kgugala@antmicro.com>
 2019-06-18 18:30:48 +02:00
Karol Gugala 2d26781992 fuzzers: 007: tim2json: update docstrings 
Signed-off-by: Karol Gugala <kgugala@antmicro.com>
 2019-06-18 18:30:48 +02:00
Karol Gugala 37626d75e5 fuzzers: 007: fixup_timings: update docstrings 
Signed-off-by: Karol Gugala <kgugala@antmicro.com>
 2019-06-18 18:30:48 +02:00
Karol Gugala 9b04747da9 fuzzers: 007: bel: add README 
Signed-off-by: Karol Gugala <kgugala@antmicro.com>
 2019-06-18 18:30:48 +02:00
Karol Gugala afb0cc78da fuzzers: 007: add docstring and assert to line_fixup function 
Signed-off-by: Karol Gugala <kgugala@antmicro.com>
 2019-06-18 18:30:48 +02:00
Karol Gugala 63e6d17b50 fuzzers: 007: rename pin alias property -> is_property_related 
Signed-off-by: Karol Gugala <kgugala@antmicro.com>
 2019-06-18 18:30:48 +02:00
Karol Gugala bb9bc7bfdd fuzzers: 007: refactor aliased pins detection 
Signed-off-by: Karol Gugala <kgugala@antmicro.com>
 2019-06-18 18:30:48 +02:00
Karol Gugala 26614e5ed4 fuzzers: 007: restore missing continue 
Signed-off-by: Karol Gugala <kgugala@antmicro.com>
 2019-06-18 18:30:48 +02:00
Karol Gugala c9d661d161 fuzzers: 007: run make format 
Signed-off-by: Karol Gugala <kgugala@antmicro.com>
 2019-06-18 18:30:48 +02:00
Karol Gugala 73979fdf04 fuzzers: 007: handle pin/pin and pin/prop aliases 
Signed-off-by: Karol Gugala <kgugala@antmicro.com>
 2019-06-18 18:30:48 +02:00
Karol Gugala b122f07896 fuzzers: 007: do not emit clk -> clk timing checks 
Signed-off-by: Karol Gugala <kgugala@antmicro.com>
 2019-06-18 18:30:48 +02:00
Karol Gugala 209240e77f fuzzers: 007: handle output vector pins 
Signed-off-by: Karol Gugala <kgugala@antmicro.com>
 2019-06-18 18:30:48 +02:00
Karol Gugala cdcb759299 fuzzers: 007: remove commented code 
Signed-off-by: Karol Gugala <kgugala@antmicro.com>
 2019-06-18 18:30:48 +02:00
Karol Gugala 83657adbb9 fuzzers: 007: fix clock inputs inferring 
Signed-off-by: Karol Gugala <kgugala@antmicro.com>
 2019-06-18 18:30:48 +02:00
Karol Gugala ecb4fa1289 fuzzers: 007: use timings fixup 
Signed-off-by: Karol Gugala <kgugala@antmicro.com>
 2019-06-18 18:30:48 +02:00
Karol Gugala 91e7f3910e fuzzers: 007: add timings_fixup script 
Signed-off-by: Karol Gugala <kgugala@antmicro.com>
 2019-06-18 18:30:48 +02:00
Maciej Kurc 8366e324af Code refactoring. 
Signed-off-by: Maciej Kurc <mkurc@antmicro.com>
 2019-06-18 18:30:48 +02:00
Maciej Kurc d05945ff81 Added support for aliases of pins with underscore in names. Added doctests 
Signed-off-by: Maciej Kurc <mkurc@antmicro.com>
 2019-06-18 18:30:48 +02:00
Maciej Kurc 58898bb29f Removed explicit bel suffix map. 
Signed-off-by: Maciej Kurc <mkurc@antmicro.com>
 2019-06-18 18:30:48 +02:00
Maciej Kurc 6e1efd4815 Fixed formatting 
Signed-off-by: Maciej Kurc <mkurc@antmicro.com>
 2019-06-18 18:30:48 +02:00
Maciej Kurc 4a117330f2 Fixed fuzzer 007 so it can correctly extract SR -> Q timings in FF_INIT and REG_INIT_FF 
Signed-off-by: Maciej Kurc <mkurc@antmicro.com>
 2019-06-18 18:30:48 +02:00
litghost e984015c45
Merge pull request #888 from antmicro/874_pip_seed 
050-pip-seed: Don't solve BYP_ALT|IMUX.LOGIC_OUTS_ bits
 2019-06-18 09:28:29 -07:00
litghost 1097bdb58b
Merge pull request #869 from antmicro/todo_balancing 
Implement todo lists balancing mechanism
 2019-06-17 10:01:20 -07:00
Tomasz Michalak f28cf75d5c 050-pip-seed: Don't solve BYP_ALT|IMUX.LOGIC_OUTS_ bits 
Signed-off-by: Tomasz Michalak <tmichalak@antmicro.com>
 2019-06-17 14:55:18 +02:00
Karol Gugala 278d2dba2c fuzzers: 007: do not emit sdfs for sites with no timings 
Signed-off-by: Karol Gugala <kgugala@antmicro.com>
 2019-06-13 13:32:43 +02:00
Tomasz Michalak 0fee08e577 Add generic todo list balancing mechanism 
Signed-off-by: Tomasz Michalak <tmichalak@antmicro.com>
 2019-06-12 14:26:52 +02:00
Tim Ansell bb8640bda9
Merge pull request #880 from litghost/add_back_hclk_ppips 
Add HCLK ppips.
 2019-06-12 09:29:18 +02:00
litghost d31319ccaa
Merge pull request #879 from litghost/avoid_full_dict_build 
Avoid building full speed_model dict.
 2019-06-11 14:59:41 -07:00
Keith Rothman aeaa8a3530 Add HCLK ppips. 
These were no longer generated after 946892d1b and were removed from
prjxray-db at
b13ff7f8b3 (diff-6a43cc2ab2e06b2a84b7effc16ca669e)

Signed-off-by: Keith Rothman <537074+litghost@users.noreply.github.com>
 2019-06-11 14:58:15 -07:00
Keith Rothman 2ad76619ee Avoid building full speed_model dict. 
Signed-off-by: Keith Rothman <537074+litghost@users.noreply.github.com>
 2019-06-11 10:32:24 -07:00
Tomasz Michalak 6fb68593ff 059-pip-byp-bounce: Add separate fuzzer for FAN_ALT.BYP_BOUNCE bits 
Signed-off-by: Tomasz Michalak <tmichalak@antmicro.com>
 2019-06-05 19:26:07 +02:00
Tomasz Michalak 14efe4d720 050-pip-seed: Don't solve FAN_ALT.BYP_BOUNCE bits 
Signed-off-by: Tomasz Michalak <tmichalak@antmicro.com>
 2019-06-05 08:24:11 +02:00
litghost 71970f9b38
Merge pull request #849 from antmicro/prjxray_stabilization_053_pip_ctrlin 
053-pip-ctrlin: Fall back to todos bigger than specified number of lines
 2019-06-04 09:35:53 -07:00
Tomasz Michalak 369362f8c8 005-tilegrid: add CFG_CENTER_MID tile base address calculation 
Signed-off-by: Tomasz Michalak <tmichalak@antmicro.com>
 2019-05-31 09:40:40 +02:00
litghost 0bddcaf908
Merge pull request #858 from litghost/timing_fuzzer 
Add wire, pip, and site pin timing information.
 2019-05-30 18:20:43 -07:00
litghost 84e168c9dc
Merge pull request #831 from antmicro/prjxray_stabilization_057_pip_bi 
057-pip-bi: Increase number of tries to find a suitable PIP INT tile
 2019-05-30 12:17:02 -07:00
Keith Rothman 0dc1317389 Add comment on magic. 
Signed-off-by: Keith Rothman <537074+litghost@users.noreply.github.com>
 2019-05-30 09:18:47 -07:00
Keith Rothman e1208e1014 Add wire, pip, and site pin timing information. 
This is required for interconnect timing modelling.

Signed-off-by: Keith Rothman <537074+litghost@users.noreply.github.com>
 2019-05-29 14:51:35 -07:00
Tomasz Michalak ebf8d6a1cd 053-pip-ctrlin: Fall back to todos bigger than specified number of lines 
Signed-off-by: Tomasz Michalak <tmichalak@antmicro.com>
 2019-05-29 08:35:08 +02:00
litghost e8299f6404
Merge pull request #842 from antmicro/bits_origin 
Generate db files with fuzzer name of origin
 2019-05-28 09:57:08 -07:00
Tomasz Michalak 22cdae1536 Generate db files with fuzzer name of origin 
Signed-off-by: Tomasz Michalak <tmichalak@antmicro.com>
 2019-05-27 08:46:44 +02:00
Tim Ansell ff4c80738d
Merge pull request #850 from antmicro/fuzzer_007_python3 
Make build scripts of 007 explicitly use python3
 2019-05-25 15:21:03 -07:00
Maciej Kurc 306b40eebb Changed all scripts to use explicitly python3 
Signed-off-by: Maciej Kurc <mkurc@antmicro.com>
 2019-05-24 15:05:53 +02:00
Tomasz Michalak 86057f3d17 018-clb-ram: Increase specimen count 
Signed-off-by: Tomasz Michalak <tmichalak@antmicro.com>
 2019-05-24 08:05:41 +02:00
Tomasz Michalak efb0b14b3a 057-pip-bi: Increase try count limit 
Signed-off-by: Tomasz Michalak <tmichalak@antmicro.com>
 2019-05-24 08:02:58 +02:00
Tomasz Michalak 11f5a37a06 050-pip-seed: Increase specimen count 
Signed-off-by: Tomasz Michalak <tmichalak@antmicro.com>
 2019-05-23 20:49:14 +02:00
Tomasz Michalak 58baff4f4a fuzzers: Add clean_piplists target 
Signed-off-by: Tomasz Michalak <tmichalak@antmicro.com>
 2019-05-23 15:19:16 +02:00
Karol Gugala 683b7562e5 fuzzer: 007: bel: handle multiple bit inputs 
Signed-off-by: Karol Gugala <kgugala@antmicro.com>
 2019-05-16 19:14:35 +02:00
Karol Gugala e1440a56b4 fuzzers: 007: add properties names mappings 
Signed-off-by: Karol Gugala <kgugala@antmicro.com>
 2019-05-16 14:52:58 +02:00
Karol Gugala 788e3e0855 fuzzers: 007: correctly handle input clocks and extended pin names 
Signed-off-by: Karol Gugala <kgugala@antmicro.com>
 2019-05-14 17:34:07 -07:00
Tomasz Michalak e7ce84abbe
Merge pull request #822 from antmicro/prjxray_stabilization_045_hclk_cmt_pips 
045-hclk-cmt-pips: account for hclk_cmt tiles missing from zynq7 and …
 2019-05-14 11:52:47 +02:00
Tomasz Michalak c4e062fa6e 053-pip-ctrlin: increase specimen count 
Signed-off-by: Tomasz Michalak <tmichalak@antmicro.com>
 2019-05-13 22:25:43 +02:00
Tomasz Michalak fe809d7d0d 045-hclk-cmt-pips: increase specimen count 
Signed-off-by: Tomasz Michalak <tmichalak@antmicro.com>
 2019-05-13 10:17:35 +02:00
Tomasz Michalak 7e05327c97 056-pip-rem: Delete net and cell after unsuccessful routing attempt 
Signed-off-by: Tomasz Michalak <tmichalak@antmicro.com>
 2019-05-10 11:14:10 +02:00
Tomasz Michalak b5a4e6932e run_fuzzer.py: Adjust unit names output by free tool 
Signed-off-by: Tomasz Michalak <tmichalak@antmicro.com>
 2019-05-09 09:33:22 +02:00
Tim 'mithro' Ansell fbec529926 Less verbose memory usage info. 
Signed-off-by: Tim 'mithro' Ansell <me@mith.ro>
 2019-05-08 10:09:45 +02:00
Tim 'mithro' Ansell 1ca3f55b05 Fix doctest for Logger. 
Signed-off-by: Tim 'mithro' Ansell <me@mith.ro>
 2019-05-08 10:09:45 +02:00
Tomasz Michalak 64c0a3c0b4
Merge pull request #824 from antmicro/043-clk-rebuf-pips-zynq 
Resolve missing CLK_REBUF PIPs bits for Zynq
 2019-05-08 07:55:02 +02:00
Tomasz Michalak af50a5f32a 043-clk-rebuf-pips: increase the number of specimen 
Signed-off-by: Tomasz Michalak <tmichalak@antmicro.com>
 2019-05-07 15:58:53 +02:00
Tomasz Michalak c094640034 030-iob: don't create liob segbits file for zynq 
Signed-off-by: Tomasz Michalak <tmichalak@antmicro.com>
 2019-05-07 13:53:17 +02:00
Tomasz Michalak 9bf9d4e0fd 030-iob: skip broken tile for zynq 
Signed-off-by: Tomasz Michalak <tmichalak@antmicro.com>
 2019-05-07 13:36:50 +02:00
Tomasz Michalak 845a8914b3 045-hclk-cmt-pips: account for hclk_cmt tiles missing from zynq7 and re-enable fuzzer 
Signed-off-by: Tomasz Michalak <tmichalak@antmicro.com>
 2019-05-07 08:34:18 +02:00
Tim Ansell 938f3788e8
Merge pull request #706 from antmicro/bel-timing 
fuzzers: Adding BEL timing fuzzer
 2019-04-29 09:16:18 -07:00
Tomasz Michalak c91ca7cf7f 054-pip-fan-alt: add solution of BYP_ALT.GFAN PIPs 
Signed-off-by: Tomasz Michalak <tmichalak@antmicro.com>
 2019-04-29 08:05:08 +02:00
Tim 'mithro' Ansell 4473789694 fuzzers: Disable timing fuzzer on Kintex. 
Signed-off-by: Tim 'mithro' Ansell <me@mith.ro>
 2019-04-28 18:53:51 -07:00
Karol Gugala 1952b3df75 fuzzers: 007: create run.ok file 
Signed-off-by: Karol Gugala <kgugala@antmicro.com>
 2019-04-28 18:53:06 -07:00
Karol Gugala 634ca791c7 fuzzers: 007: bel: merge slicel and slicem timigs 
Signed-off-by: Karol Gugala <kgugala@antmicro.com>
 2019-04-28 18:53:06 -07:00
Karol Gugala 7154cfcf61 fuzzers: add timing fuzzer to global makefile 
Signed-off-by: Karol Gugala <kgugala@antmicro.com>
 2019-04-28 18:53:06 -07:00
Karol Gugala 69cc63ea81 utils: add sdfmerge tool 
Signed-off-by: Karol Gugala <kgugala@antmicro.com>
 2019-04-28 18:53:06 -07:00
Karol Gugala ba62b6b9c9 fuzzers: 007: add BEL to Makefile 
Signed-off-by: Karol Gugala <kgugala@antmicro.com>
 2019-04-28 18:53:06 -07:00
Karol Gugala 5d9da26f78 Fuzzers: 007: add bel timing fuzzer 
Signed-off-by: Karol Gugala <kgugala@antmicro.com>
 2019-04-28 18:53:06 -07:00
Tomasz Michalak 40f0ef6fa8 052-pip-clkin: run make format 
Signed-off-by: Tomasz Michalak <tmichalak@antmicro.com>
 2019-04-25 09:36:52 +02:00
Tomasz Michalak d67cb4c250 052-pip-clkin: re-enable fuzzer 
Signed-off-by: Tomasz Michalak <tmichalak@antmicro.com>
 2019-04-25 09:36:52 +02:00
Tomasz Michalak 8a47473bd1 052-pip-clkin: don't route PIPs with same wires in one run 
Signed-off-by: Tomasz Michalak <tmichalak@antmicro.com>
 2019-04-25 09:36:52 +02:00
Tomasz Michalak 6337cac12a 052-pip-clkin: use interconnect tiles with different x coordinates 
Signed-off-by: Tomasz Michalak <tmichalak@antmicro.com>
 2019-04-25 09:36:52 +02:00
Tomasz Michalak 28729661ac fuzzers: disable 056-pip-rem until other instabilities are fixed 
Signed-off-by: Tomasz Michalak <tmichalak@antmicro.com>
 2019-04-24 07:53:48 +02:00
Tomasz Michalak 6a5d048c4d fuzzers: disable 052-pip-clkin until fuzzer becomes stable 
Signed-off-by: Tomasz Michalak <tmichalak@antmicro.com>
 2019-04-24 07:53:22 +02:00
Tomasz Michalak f1c06d6bde fuzzers: disable 045-hclk-cmt-pips for stabilization 
Signed-off-by: Tomasz Michalak <tmichalak@antmicro.com>
 2019-04-23 16:25:13 -07:00
Tomasz Michalak 491359842e fuzzers: disable 057-pip-bi for stabilization 
Signed-off-by: Tomasz Michalak <tmichalak@antmicro.com>
 2019-04-23 16:25:13 -07:00
Tomasz Michalak e3c70dda78 fuzzers: disable 041-clk-hrow-pips for stabilization efforts 
Signed-off-by: Tomasz Michalak <tmichalak@antmicro.com>
 2019-04-23 16:25:13 -07:00
Tomasz Michalak 4efa6f31d1 fuzzers: Fix error usage 
Signed-off-by: Tomasz Michalak <tmichalak@antmicro.com>
 2019-04-18 23:01:14 +02:00
Tomasz Michalak fde33d064f 056-pip-rem: lower PDIL-1 DRC severity 
Signed-off-by: Tomasz Michalak <tmichalak@antmicro.com>
 2019-04-17 10:59:54 +02:00
litghost 37c46aa7f7
Merge pull request #773 from litghost/add_more_parts 
Add make targets to build additional outputs from each database.
 2019-04-11 10:00:05 -07:00
Tim 'mithro' Ansell 02cd21f4ba fuzzers: Disable retries by default. 
Retries can be re-enabled when #635 is fixed.

Currently the retries are just causing CI to take a long time.

Signed-off-by: Tim 'mithro' Ansell <me@mith.ro>
 2019-04-10 16:56:47 -07:00
Keith Rothman 36177e9599 Add make targets to build additional outputs from each database. 
These targets are for:
 - Generating additional database outputs that are part, e.g. yaml files.
 - Generating harnesses

Signed-off-by: Keith Rothman <537074+litghost@users.noreply.github.com>
 2019-04-10 11:55:39 -07:00
Keith Rothman 3e343bbda7 Add fuzzer for documenting pin to pad relationship for part. 
Signed-off-by: Keith Rothman <537074+litghost@users.noreply.github.com>
 2019-04-08 15:59:51 -07:00
Tim 'mithro' Ansell 9717fa48eb docs: Fix top level headers and other small clean. 
* Make sure all files have top level headers.
 * Fixing a few spelling mistakes.
 * Fixed some trailing spaces.

Signed-off-by: Tim 'mithro' Ansell <me@mith.ro>
 2019-04-03 19:26:28 -07:00
litghost 08d6224c82
Merge pull request #738 from litghost/even_more_ppips 
Add another IOI variant to the ppips
 2019-03-22 08:57:30 -07:00
Keith Rothman e1fde3203d Run make format. 
Signed-off-by: Keith Rothman <537074+litghost@users.noreply.github.com>
 2019-03-22 08:35:53 -07:00
Keith Rothman 34559709bb Add BRKH_INT, fix grammer, and add some line breaks. 
Signed-off-by: Keith Rothman <537074+litghost@users.noreply.github.com>
 2019-03-22 08:15:45 -07:00
litghost 5e9211d57c
Merge pull request #727 from litghost/bufmrce 
Solve remaining bits in the ROI
 2019-03-22 07:58:00 -07:00
Keith Rothman 1d140ac3b1 Add another IOI variant. 
Signed-off-by: Keith Rothman <537074+litghost@users.noreply.github.com>
 2019-03-21 14:24:04 -07:00
Keith Rothman c0b8c2bd0d Run make format. 
Signed-off-by: Keith Rothman <537074+litghost@users.noreply.github.com>
 2019-03-21 14:19:41 -07:00
Keith Rothman 3e851a6256 Reduce number of active GCLKs in final iterations. 
Signed-off-by: Keith Rothman <537074+litghost@users.noreply.github.com>
 2019-03-21 13:41:36 -07:00
Keith Rothman 7a5f3a43c7 Also exclude PS CLKs for now. 
Signed-off-by: Keith Rothman <537074+litghost@users.noreply.github.com>
 2019-03-21 10:50:25 -07:00
Keith Rothman 6357913927 Remove TESTPLL nodes from piplist. 
Signed-off-by: Keith Rothman <537074+litghost@users.noreply.github.com>
 2019-03-21 09:45:13 -07:00
Tim 'mithro' Ansell a041e4e8b8 Re-enable the DSP fuzzer. 
Signed-off-by: Tim 'mithro' Ansell <me@mith.ro>
 2019-03-21 09:33:38 -07:00
Tomasz Michalak d3bb32e391 Fix makefiles to pass -j option 
Signed-off-by: Tomasz Michalak <tmichalak@antmicro.com>
Signed-off-by: Tim 'mithro' Ansell <me@mith.ro>
 2019-03-20 16:18:44 -07:00
Keith Rothman 57b897a670 Fix IOB18M's not being used. 
Signed-off-by: Keith Rothman <537074+litghost@users.noreply.github.com>
 2019-03-20 10:19:56 -07:00
Keith Rothman 59a4c27f2e Attempt make 041 and 045 work on K7 and Z7. 
Signed-off-by: Keith Rothman <537074+litghost@users.noreply.github.com>
 2019-03-20 09:26:44 -07:00
Keith Rothman a1b24f3a24 Run make format. 
Signed-off-by: Keith Rothman <537074+litghost@users.noreply.github.com>
 2019-03-18 17:36:27 -07:00
Keith Rothman ef18f0ff78 Put back LEAF filter. 
Signed-off-by: Keith Rothman <537074+litghost@users.noreply.github.com>
 2019-03-18 17:09:07 -07:00
Keith Rothman 90715ab3e4 Attempt to fix flaky 041 fuzzer. 
Signed-off-by: Keith Rothman <537074+litghost@users.noreply.github.com>
 2019-03-18 15:59:54 -07:00
Keith Rothman 93f70d10d3 Generate ppips for other tiles in the ROI. 
Signed-off-by: Keith Rothman <537074+litghost@users.noreply.github.com>
 2019-03-18 08:10:11 -07:00
Keith Rothman e6727e6c60 Add README's 
Signed-off-by: Keith Rothman <537074+litghost@users.noreply.github.com>
 2019-03-15 19:43:10 -07:00
Keith Rothman a5b086bfcf Clearify ZDB and how it was generated. 
Signed-off-by: Keith Rothman <537074+litghost@users.noreply.github.com>
 2019-03-15 19:37:23 -07:00
Keith Rothman 4c0f36b755 Add new fuzzer to root Makefile. 
Signed-off-by: Keith Rothman <537074+litghost@users.noreply.github.com>
 2019-03-15 18:46:09 -07:00
Keith Rothman 66c7c4c3ab Add fuzzers for HCLK_CMT tiles. 
Signed-off-by: Keith Rothman <537074+litghost@users.noreply.github.com>
 2019-03-15 18:43:21 -07:00
Keith Rothman 953d64a7b9 Run make format. 
Signed-off-by: Keith Rothman <537074+litghost@users.noreply.github.com>
 2019-03-15 18:42:40 -07:00
Keith Rothman c2df5c97eb Working complete HROW pip fuzzer. 
Signed-off-by: Keith Rothman <537074+litghost@users.noreply.github.com>
 2019-03-14 20:05:27 -07:00
Keith Rothman 023cd55bb1 Refactor 041 fuzzer to avoid requiring insight into mux structure. 
Signed-off-by: Keith Rothman <537074+litghost@users.noreply.github.com>
 2019-03-12 18:26:38 -07:00
Keith Rothman 5091d0a59e Add 044 to fuzzer Makefile. 
Signed-off-by: Keith Rothman <537074+litghost@users.noreply.github.com>
 2019-03-12 16:11:15 -07:00
Keith Rothman 3232ae3edc Run make format. 
Signed-off-by: Keith Rothman <537074+litghost@users.noreply.github.com>
 2019-03-12 16:10:25 -07:00
Keith Rothman 3d70606d79 Add explicit l/r flag. 
Signed-off-by: Keith Rothman <537074+litghost@users.noreply.github.com>
 2019-03-12 16:07:56 -07:00
Keith Rothman 6ca687ad5f Add comment to build_zdb. 
Signed-off-by: Keith Rothman <537074+litghost@users.noreply.github.com>
 2019-03-12 16:07:37 -07:00
Keith Rothman 9187df2c95 Initial BUFG PIP fuzzer. 
Signed-off-by: Keith Rothman <537074+litghost@users.noreply.github.com>
 2019-03-12 16:03:51 -07:00
Keith Rothman 1f53d5719b Fix piplist location for 041 fuzzer. 
Signed-off-by: Keith Rothman <537074+litghost@users.noreply.github.com>
 2019-03-12 11:06:30 -07:00
Keith Rothman 72d2b0d63a Fix 048 not using correct directory. 
Signed-off-by: Keith Rothman <537074+litghost@users.noreply.github.com>
 2019-03-12 10:47:27 -07:00
litghost 484eae2bb7
Merge pull request #702 from litghost/lower_retry_count 
Lower retry count to avoid taking a long time to fail when the fuzzer is broken
 2019-03-06 13:18:46 -08:00
Keith Rothman d7116a86cb Lower retry count to avoid taking a long time to fail when the fuzzer is broken. 
Signed-off-by: Keith Rothman <537074+litghost@users.noreply.github.com>
 2019-03-06 13:15:48 -08:00
litghost 885d5599aa
Merge pull request #699 from antmicro/007-keyerror 
fuzzers: 007: fix linprog callback to fit scipy 1.2.1
 2019-03-06 08:28:28 -08:00
Karol Gugala a7436e09e0 fuzzers: 007: fix linprog callback to fit scipy 1.2.1 
Signed-off-by: Karol Gugala <kgugala@antmicro.com>
 2019-03-06 16:50:33 +01:00
litghost fa2b44896b
Merge pull request #695 from antmicro/042-fuzzer-stabilization 
fuzzer 042: Increase specimen count and enable execution
 2019-03-06 06:16:09 -08:00
Tomasz Michalak fd57c185c5 fuzzer 042: Add bitfilter and restore execution 
Signed-off-by: Tomasz Michalak <tmichalak@antmicro.com>
 2019-03-06 08:02:16 +01:00
litghost 05055fe028
Merge pull request #696 from antmicro/lock-mergedb 
utils: mergedb: lock database accesses
 2019-03-05 16:41:06 -08:00
litghost 721e9eb0ab
Merge pull request #686 from litghost/fix_piplist_directory 
Use seperate build directory for each piplist.
 2019-03-05 16:40:55 -08:00
Keith Rothman df6050bb9c Fix CHECK_ARGS passing. 
Signed-off-by: Keith Rothman <537074+litghost@users.noreply.github.com>
 2019-03-05 13:41:24 -08:00
Karol Gugala 6247c02bc9 fuzzers: Makefile: add clean_locks target 
Signed-off-by: Karol Gugala <kgugala@antmicro.com>
 2019-03-05 20:22:00 +01:00
Keith Rothman 08a6cc7621 Refactor 050 fuzzer to use pip_loop.mk 
Signed-off-by: Keith Rothman <537074+litghost@users.noreply.github.com>
 2019-03-05 10:45:50 -08:00
litghost 36e6290ec6
Merge pull request #691 from antmicro/ologic-fuzz 
Fuzzers: add ologic fuzzer
 2019-03-05 09:34:45 -08:00
Keith Rothman fbab956017 Use seperate build directory for each piplist. 
Vivado expects to be executed in a unique directory in batch mode.
Previous Makefile had all piplist's running the same directory,
resulting in a race condition.

Signed-off-by: Keith Rothman <537074+litghost@users.noreply.github.com>
 2019-03-05 07:35:23 -08:00
litghost 7a57020ce9
Merge pull request #690 from litghost/iob_sing 
IOB_SING solution via segbit aliases.
 2019-03-05 07:27:59 -08:00
Karol Gugala 59cff08be0 fuzzers: int_loop: exit on empty todo 
Signed-off-by: Karol Gugala <kgugala@antmicro.com>
 2019-03-04 17:53:42 +01:00
Karol Gugala 529e5a884a Fuzzers: add ologic fuzzer 
Signed-off-by: Karol Gugala <kgugala@antmicro.com>
 2019-03-03 19:59:23 +01:00
Keith Rothman 1307e11397 IOB_SING solution via segbit aliases. 
Signed-off-by: Keith Rothman <537074+litghost@users.noreply.github.com>
 2019-03-01 17:02:18 -08:00
litghost ca45656e5f
Merge pull request #683 from litghost/iob_rework 
Rework IOB fuzzers.
 2019-03-01 16:46:17 -08:00
litghost e2dc1f56f6
Merge pull request #687 from litghost/fix_bram_regression 
Only tag some tags when running in TDP mode.
 2019-03-01 15:03:18 -08:00
Keith Rothman 49b09b4051 Only tag some tags when running in TDP mode. 
Signed-off-by: Keith Rothman <537074+litghost@users.noreply.github.com>
 2019-03-01 13:30:49 -08:00
Tim 'mithro' Ansell f973cf2b20 Fix running without -j 
Fixes #680.

Signed-off-by: Tim 'mithro' Ansell <me@mith.ro>
 2019-03-01 12:44:38 -08:00
Keith Rothman 8f5fa39914 Rework stepdown bits to isolate top and bottom IOBs. 
Signed-off-by: Keith Rothman <537074+litghost@users.noreply.github.com>
 2019-03-01 10:56:47 -08:00
Keith Rothman 8d18665182 Fix bugs found during review. 
Signed-off-by: Keith Rothman <537074+litghost@users.noreply.github.com>
 2019-03-01 08:21:36 -08:00
Keith Rothman 9dccf2a59e ZINV_D applies to both IFF and direct data path. 
Signed-off-by: Keith Rothman <537074+litghost@users.noreply.github.com>
 2019-02-28 18:08:19 -08:00
Keith Rothman ac4accbd57 Add bit for standards that are stepdown. 
Signed-off-by: Keith Rothman <537074+litghost@users.noreply.github.com>
 2019-02-28 17:12:09 -08:00
Keith Rothman a2d32d19a3 Run make format. 
Signed-off-by: Keith Rothman <537074+litghost@users.noreply.github.com>
 2019-02-28 16:43:49 -08:00
Keith Rothman 816bf44156 Rework IOB fuzzers. 
- Add most single ended IOSTANDARD's.
- Add bits for input, output and input/output buffers for single ended
  IOBs.
- Add initial ILOGIC fuzzer.

Signed-off-by: Keith Rothman <537074+litghost@users.noreply.github.com>
 2019-02-28 16:36:02 -08:00
Alessandro Comodi 01a1289bcf
Merge pull request #656 from antmicro/segmatch-warning 
segmatch.cpp: if f_in does not exits returns -1
 2019-02-26 11:12:03 +01:00
Alessandro Comodi 2ba0192a1f 058-hclk: changed makefile to solve missing files issue 
Signed-off-by: Alessandro Comodi <acomodi@antmicro.com>
 2019-02-25 17:40:37 +01:00
litghost de92aa9e60
Merge pull request #674 from litghost/wide_sdp_config 
Add bits for SDP 36-bit BRAM.
 2019-02-23 15:27:49 -08:00
Keith Rothman 890f12b1d4 Add bits for SDP 36-bit BRAM. 
Signed-off-by: Keith Rothman <537074+litghost@users.noreply.github.com>
 2019-02-22 23:08:06 -08:00
Tim Ansell 78565b6d23
Merge pull request #672 from litghost/save_logs_on_success 
Save fuzzer logs, even on success.
 2019-02-22 11:49:51 -08:00
Keith Rothman 2a114a9726 Output required_features as a list rather than a string with newlines. 
Signed-off-by: Keith Rothman <537074+litghost@users.noreply.github.com>
 2019-02-21 15:40:07 -08:00
Keith Rothman 0595663bb1 Simplify BRAM data fuzzer and rename to match RAMB18E1 parameter names. 
Signed-off-by: Keith Rothman <537074+litghost@users.noreply.github.com>
 2019-02-21 09:06:05 -08:00
Keith Rothman acf7aafce1 Save fuzzer logs, even on success. 
Previous CI logic deleted logs files along with intermediate outputs
from fuzzers.  This makes debugging issues like #661 harder.

Signed-off-by: Keith Rothman <537074+litghost@users.noreply.github.com>
 2019-02-20 14:36:17 -08:00
Keith Rothman 3c764a65e1 Revert 054 fuzzer. 
Signed-off-by: Keith Rothman <537074+litghost@users.noreply.github.com>
 2019-02-19 20:56:31 -08:00
Keith Rothman 9c2c2c2ab6 Seperate out the INT list initialization. 
Signed-off-by: Keith Rothman <537074+litghost@users.noreply.github.com>
 2019-02-19 20:07:07 -08:00
Keith Rothman 8ff137435b Make format. 
Signed-off-by: Keith Rothman <537074+litghost@users.noreply.github.com>
 2019-02-19 16:53:03 -08:00
Keith Rothman 72ffe32e33 Isolate IMUX<x>.GFAN[01] pips into seperate fuzzer. 
Signed-off-by: Keith Rothman <537074+litghost@users.noreply.github.com>
 2019-02-19 16:53:03 -08:00
Keith Rothman 8536a17657 Run make format. 
Signed-off-by: Keith Rothman <537074+litghost@users.noreply.github.com>
 2019-02-19 16:18:20 -08:00
Keith Rothman 629847200b Add CASCOUT_*_ACTIVE bits. 
Signed-off-by: Keith Rothman <537074+litghost@users.noreply.github.com>
 2019-02-19 15:46:20 -08:00
Keith Rothman 276c6e0d31 Disable 042 fuzzer for now, not critical path. 
Signed-off-by: Keith Rothman <537074+litghost@users.noreply.github.com>
 2019-02-19 07:45:59 -08:00
litghost d14d7b7d72
Merge pull request #664 from litghost/simplify_routing_noise 
Simplify routing noise in 042
 2019-02-18 10:10:16 -08:00
Keith Rothman 4be219f7e5 Move StateGen to own file, and ran make format. 
Signed-off-by: Keith Rothman <537074+litghost@users.noreply.github.com>
 2019-02-18 10:02:48 -08:00
Keith Rothman d925198650 Simplify 042 routing fuzzing to be more robust. 
Signed-off-by: Keith Rothman <537074+litghost@users.noreply.github.com>
 2019-02-18 09:53:28 -08:00
Tomasz Michalak a11abfd972 iob: Enhance fuzzer with bits for SLEW and DRIVE for LVCMOS25 
Signed-off-by: Tomasz Michalak <tmichalak@antmicro.com>
 2019-02-18 08:50:32 +01:00
Tomasz Michalak e2b88458e8 minitest: Add csv generation script 
Signed-off-by: Tomasz Michalak <tmichalak@antmicro.com>
 2019-02-18 08:14:21 +01:00
litghost 9e4c6f1bb5
Merge pull request #659 from litghost/restore_iob_fuzzer 
Restore IOB fuzzer and add _Y0 bits.
 2019-02-17 22:04:08 -08:00
litghost 979cc59a1a
Merge pull request #662 from antmicro/bram-fifo-collision-fix 
029-bram-fifo: more specimens and added c arg to segmatch
 2019-02-17 22:03:43 -08:00
Alessandro Comodi deb127d4a1 029-bram-fifo-mode: removed c argument 
Signed-off-by: Alessandro Comodi <acomodi@antmicro.com>
 2019-02-15 17:36:02 +01:00
Alessandro Comodi 631a5d0b6a 012-clb-d5ff: increased specimens and added c argument 
Signed-off-by: Alessandro Comodi <acomodi@antmicro.com>
 2019-02-15 16:16:41 +01:00
Alessandro Comodi ec9d5004d1 029-bram-fifo: more specimens and added c arg to segmatch 
Signed-off-by: Alessandro Comodi <acomodi@antmicro.com>
 2019-02-15 15:03:25 +01:00
Keith Rothman 04011d477c Restore IOB fuzzer and add _Y0 bits. 
Signed-off-by: Keith Rothman <537074+litghost@users.noreply.github.com>
 2019-02-14 11:01:46 -08:00
Keith Rothman 095d8c86ff Fix missing IOB base address. 
Signed-off-by: Keith Rothman <537074+litghost@users.noreply.github.com>
 2019-02-13 22:47:29 -08:00
litghost e7749f1065
Merge pull request #649 from litghost/fix_hrow_pips_on_zync 
Limit target pips on zync to avoid unsolvable bits.
 2019-02-13 21:09:10 -08:00
Keith Rothman 0c8d55d8d3 Have 041 use all specimens instead of just latest iteration. 
Signed-off-by: Keith Rothman <537074+litghost@users.noreply.github.com>
 2019-02-13 21:03:30 -08:00
Keith Rothman 85c87eb648 Put memory on own line. 
Signed-off-by: Keith Rothman <537074+litghost@users.noreply.github.com>
 2019-02-13 19:01:26 -08:00
Keith Rothman a37b64fdfd Move memory usage to first line. 
Signed-off-by: Keith Rothman <537074+litghost@users.noreply.github.com>
 2019-02-13 18:57:45 -08:00
Keith Rothman da244e36ac Add RAM usage to output. 
Signed-off-by: Keith Rothman <537074+litghost@users.noreply.github.com>
 2019-02-13 18:56:59 -08:00
litghost 51100d0ced
Merge pull request #648 from litghost/rework_tilegrid 
Sort tiles and revamp gen_fuzz_states to be more efficient.
 2019-02-13 18:42:06 -08:00
Keith Rothman bd42b809a4 Limit target pips on zync to avoid unsolvable bits. 
Signed-off-by: Keith Rothman <537074+litghost@users.noreply.github.com>
 2019-02-13 18:41:43 -08:00
Keith Rothman 7c467920e6 Convert BRAM block tilegrid fuzzer to use first RAMB18E1. 
Signed-off-by: Keith Rothman <537074+litghost@users.noreply.github.com>
 2019-02-13 18:25:09 -08:00
Keith Rothman ab7347877f Run make format. 
Signed-off-by: Keith Rothman <537074+litghost@users.noreply.github.com>
 2019-02-13 18:08:23 -08:00
Keith Rothman 7e4e4b19fc Sort tiles and revamp gen_fuzz_states to be more efficient. 
Signed-off-by: Keith Rothman <537074+litghost@users.noreply.github.com>
 2019-02-13 17:59:37 -08:00
litghost 255dfd5358
Merge pull request #645 from litghost/actually_filter_FAN_ALT 
Filter out FAN_ALT[0-9].GFAN[0-9] pips from 050.
 2019-02-13 09:14:27 -08:00
litghost 9811626594
Merge pull request #641 from litghost/add_more_bits 
Add more CLK bits
 2019-02-13 09:09:57 -08:00
Keith Rothman 19706142db Filter out FAN_ALT[0-9].GFAN[0-9] pips from 050. 
Signed-off-by: Keith Rothman <537074+litghost@users.noreply.github.com>
 2019-02-13 09:02:39 -08:00
Alessandro Comodi 1591dd9095 074-dump-all: stabilized naming of sites 
Signed-off-by: Alessandro Comodi <acomodi@antmicro.com>
 2019-02-13 17:58:41 +01:00
Keith Rothman 8bdc669632 Remove strict SEGMATCH criteria. 
Signed-off-by: Keith Rothman <537074+litghost@users.noreply.github.com>
 2019-02-12 16:50:21 -08:00
Keith Rothman 457c0cde6f Make generic generate_top for tilegrid. 
Signed-off-by: Keith Rothman <537074+litghost@users.noreply.github.com>
 2019-02-12 16:43:02 -08:00
Keith Rothman 73a5c04544 Add _ACTIVE bits to HROW bits. 
Signed-off-by: Keith Rothman <537074+litghost@users.noreply.github.com>
 2019-02-12 16:33:59 -08:00
Keith Rothman 52f6f092ce Fix missing argument. 
Signed-off-by: Keith Rothman <537074+litghost@users.noreply.github.com>
 2019-02-12 15:21:51 -08:00
Keith Rothman 9ccc58b077 Run make format. 
Signed-off-by: Keith Rothman <537074+litghost@users.noreply.github.com>
 2019-02-12 15:18:25 -08:00
Keith Rothman e7d32dadb4 Use create_xy_fun. 
Signed-off-by: Keith Rothman <537074+litghost@users.noreply.github.com>
 2019-02-12 15:17:59 -08:00
Keith Rothman 88b2fc6d35 Fix 043 to document remaining bits. 
Signed-off-by: Keith Rothman <537074+litghost@users.noreply.github.com>
 2019-02-12 15:15:46 -08:00
Keith Rothman 2311f25149 Add initial BUFG config bits. 
Signed-off-by: Keith Rothman <537074+litghost@users.noreply.github.com>
 2019-02-12 15:15:46 -08:00
Keith Rothman 5bebeb6c0d Add CLK_BUFG to tilegrid. 
Signed-off-by: Keith Rothman <537074+litghost@users.noreply.github.com>
 2019-02-12 15:15:34 -08:00
Keith Rothman f29fe77ea9 Add initial REBUF pips. 
Signed-off-by: Keith Rothman <537074+litghost@users.noreply.github.com>
 2019-02-12 15:15:34 -08:00
litghost c39b67007a
Merge pull request #638 from litghost/add_clk_hrow_bits 
Add CLK HROW bits
 2019-02-12 15:15:03 -08:00
Keith Rothman f5bff02122 Fix pip-bi makefile. 
Signed-off-by: Keith Rothman <537074+litghost@users.noreply.github.com>
 2019-02-12 15:12:45 -08:00
Keith Rothman ca232e4e81 Address review comments. 
Signed-off-by: Keith Rothman <537074+litghost@users.noreply.github.com>
 2019-02-12 14:06:45 -08:00
Keith Rothman d2c9c96b96 Add 041 to root fuzzer Makefile. 
Signed-off-by: Keith Rothman <537074+litghost@users.noreply.github.com>
 2019-02-12 13:24:08 -08:00
Alessandro Comodi a460959301 054-fan-alt: corrected -c argument 
Signed-off-by: Alessandro Comodi <acomodi@antmicro.com>
 2019-02-12 21:52:46 +01:00
Alessandro Comodi e6b5fbba38 054-fan-alt: increased -m segmatch argument 
Signed-off-by: Alessandro Comodi <acomodi@antmicro.com>
 2019-02-12 21:39:13 +01:00
Alessandro Comodi 1f028f0b00 050-pip-seed: correct Makefile regexp 
Signed-off-by: Alessandro Comodi <acomodi@antmicro.com>
 2019-02-12 19:14:14 +01:00
Alessandro Comodi 50fbacfcb3 054-fan-alt: added max number of bits 
Signed-off-by: Alessandro Comodi <acomodi@antmicro.com>
 2019-02-12 17:55:31 +01:00
Alessandro Comodi 03894a9dab 050-pip-seed: exclude FAN_ALT 
Signed-off-by: Alessandro Comodi <acomodi@antmicro.com>
 2019-02-12 17:55:02 +01:00
Alessandro Comodi b7ca06bd6d added fan-alt fuzzer to get the FAN_ALT?.GFAN? PIPs 
Signed-off-by: Alessandro Comodi <acomodi@antmicro.com>
 2019-02-12 15:23:52 +01:00
Keith Rothman 91044cedd0 Add ZINV_CE config. 
Signed-off-by: Keith Rothman <537074+litghost@users.noreply.github.com>
 2019-02-11 14:36:47 -08:00
Keith Rothman 524c85fb3a Make format. 
Signed-off-by: Keith Rothman <537074+litghost@users.noreply.github.com>
 2019-02-11 13:03:42 -08:00
Keith Rothman 31cca0949b Add routing for LR CMT inputs. 
Signed-off-by: Keith Rothman <537074+litghost@users.noreply.github.com>
 2019-02-11 13:03:02 -08:00
Keith Rothman 0b1e8e9974 Add left and right clock pips. 
Signed-off-by: Keith Rothman <537074+litghost@users.noreply.github.com>
 2019-02-11 09:59:09 -08:00
Keith Rothman f58cf6bbda Output PIP form. 
Signed-off-by: Keith Rothman <537074+litghost@users.noreply.github.com>
 2019-02-09 22:50:15 -08:00
Keith Rothman 6fd2cb4eec Initial working GCLK to HROW_CLK PIP fuzzer. 
Signed-off-by: Keith Rothman <537074+litghost@users.noreply.github.com>
 2019-02-09 22:37:39 -08:00
Keith Rothman 3b10ceed54 Rename fuzzer and add 040 to root fuzzer make. 
Signed-off-by: Keith Rothman <537074+litghost@users.noreply.github.com>
 2019-02-08 14:29:48 -08:00
Keith Rothman 1011a90769 Run make format. 
Signed-off-by: Keith Rothman <537074+litghost@users.noreply.github.com>
 2019-02-08 14:28:54 -08:00
Keith Rothman 00d9e1f314 Add CLK_HROW config fuzzer, and adjust tilegrid definition. 
Signed-off-by: Keith Rothman <537074+litghost@users.noreply.github.com>
 2019-02-08 14:23:39 -08:00
Keith Rothman 5e9cb60917 Add base addresses for CLK_HROW tiles. Word offset may be wrong. 
Signed-off-by: Keith Rothman <537074+litghost@users.noreply.github.com>
 2019-02-08 13:00:54 -08:00
Keith Rothman c47746476d Make format. 
Signed-off-by: Keith Rothman <537074+litghost@users.noreply.github.com>
 2019-02-08 10:50:03 -08:00
Keith Rothman 1145e9a270 Dup jobserver fd's for retry. 
Signed-off-by: Keith Rothman <537074+litghost@users.noreply.github.com>
 2019-02-08 10:33:18 -08:00
Keith Rothman e66ffeb3c2 Increase number of tiles available for retries for 057. 
Signed-off-by: Keith Rothman <537074+litghost@users.noreply.github.com>
 2019-02-08 10:32:16 -08:00
Keith Rothman b04598da26 Solve orphan INT columns in Kintex7. 
Signed-off-by: Keith Rothman <537074+litghost@users.noreply.github.com>
 2019-02-07 15:01:09 -08:00
Keith Rothman bcd41b8d08 Add XADC INT and ICAP INT fuzzers to solve 2 of 4 missing INT columns. 
Signed-off-by: Keith Rothman <537074+litghost@users.noreply.github.com>
 2019-02-07 09:36:02 -08:00
Tim 'mithro' Ansell d144c9d2c8 fuzzers: Disable the DSP fuzzer for the moment. 
Signed-off-by: Tim 'mithro' Ansell <me@mith.ro>
 2019-02-07 21:59:25 +11:00
Tim 'mithro' Ansell c590cce721 Write each run into seperate file. 
Signed-off-by: Tim 'mithro' Ansell <me@mith.ro>
 2019-02-07 02:43:44 -08:00
Tim 'mithro' Ansell 7c5103e7f3 Only save the last 1000 lines to XML file. 
Signed-off-by: Tim 'mithro' Ansell <me@mith.ro>
 2019-02-07 02:43:44 -08:00
Tim 'mithro' Ansell ec6be41482 Don't close jobserver fd so retries work. 
Signed-off-by: Tim 'mithro' Ansell <me@mith.ro>
 2019-02-07 02:43:44 -08:00
Tim 'mithro' Ansell 80f3f0ec04 Adding support for writing junit.xml files. 
* Fixes #494.
 * Includes multiple runs in output.
 * Includes stdout / stderr in output.

Signed-off-by: Tim 'mithro' Ansell <me@mith.ro>
 2019-02-07 02:43:44 -08:00
Tim 'mithro' Ansell fa2bf16acc Add retries to run_fuzzer.py 
Signed-off-by: Tim 'mithro' Ansell <me@mith.ro>
 2019-02-07 02:43:44 -08:00
Tim 'mithro' Ansell 772c5cad44 Add success trailer too. 
Signed-off-by: Tim 'mithro' Ansell <me@mith.ro>
 2019-02-07 02:43:44 -08:00
Tim 'mithro' Ansell 4f8ba05073 Use a class rather than a global. 
Signed-off-by: Tim 'mithro' Ansell <me@mith.ro>
 2019-02-07 02:43:44 -08:00
Tim 'mithro' Ansell 09ae28be13 Adding timestamp to log line output. 
Signed-off-by: Tim 'mithro' Ansell <me@mith.ro>
 2019-02-07 02:43:44 -08:00
Tim 'mithro' Ansell a82882a4c0 Always print minutes if displaying hours. 
Signed-off-by: Tim 'mithro' Ansell <me@mith.ro>
 2019-02-07 02:43:44 -08:00
Tim 'mithro' Ansell 314ee62b3f Fixing number of review comments. 
Signed-off-by: Tim 'mithro' Ansell <me@mith.ro>
 2019-02-07 02:43:44 -08:00
Tim 'mithro' Ansell 6249f24fd2 fuzzers: Use make directly when VERBOSE=Y 
Signed-off-by: Tim 'mithro' Ansell <me@mith.ro>
 2019-02-07 02:43:44 -08:00
Tim 'mithro' Ansell f8c3ada041 Adding wrapper to get understandable output. 
* Saves stdout / stderr to log files.
 * Prefixes all messages with fuzzer name.
 * Gives regular status updates.
 * Successfully passes jobserver details down.
 * Correctly handles dry-run and question options.

Signed-off-by: Tim 'mithro' Ansell <me@mith.ro>
 2019-02-07 02:43:44 -08:00
Tim 'mithro' Ansell 378e5f40b1 make: Add `+` so make passes down job information. 
Signed-off-by: Tim 'mithro' Ansell <me@mith.ro>
 2019-02-07 02:43:44 -08:00
Tim 'mithro' Ansell 7985d0c58c make: Pass the jobserver info down. 
Signed-off-by: Tim 'mithro' Ansell <me@mith.ro>
 2019-02-07 02:43:44 -08:00
Keith Rothman 6611b1c19c Add retries to 053 and 055 INT fuzzers. 
Signed-off-by: Keith Rothman <537074+litghost@users.noreply.github.com>
 2019-02-06 11:41:33 -08:00
litghost f7c6f76bb3
Merge pull request #612 from litghost/refactor_int_fuzzers 
Refactor INT fuzzers.
 2019-02-05 09:53:03 -08:00
litghost f4807ebdbf
Merge pull request #608 from litghost/bram_enable_fuzzer 
Add fuzzer for BRAM/FIFO enable bits.
 2019-02-05 06:40:32 -08:00
Keith Rothman 1d54604656 Remove TODO_N for pip-bi solver. 
Signed-off-by: Keith Rothman <537074+litghost@users.noreply.github.com>
 2019-02-04 22:52:14 -08:00
Keith Rothman 429978a23c Add back generate.sh 
Signed-off-by: Keith Rothman <537074+litghost@users.noreply.github.com>
 2019-02-04 20:58:26 -08:00
Keith Rothman 8e8cf174de Refactor INT fuzzers. 
Signed-off-by: Keith Rothman <537074+litghost@users.noreply.github.com>
 2019-02-04 17:45:05 -08:00
Keith Rothman 9e41f72d5a Remove additional dependencies. 
Signed-off-by: Keith Rothman <537074+litghost@users.noreply.github.com>
 2019-02-04 16:38:46 -08:00
Keith Rothman e8cecf2ced Run make format. 
Signed-off-by: Keith Rothman <537074+litghost@users.noreply.github.com>
 2019-02-04 15:39:20 -08:00
Keith Rothman dde035c7ee Simplify bit definition. 
Signed-off-by: Keith Rothman <537074+litghost@users.noreply.github.com>
 2019-02-04 15:39:20 -08:00
Keith Rothman bf817f3548 Add fuzzer for BRAM/FIFO enable bits. 
Signed-off-by: Keith Rothman <537074+litghost@users.noreply.github.com>
 2019-02-04 15:39:20 -08:00
Keith Rothman 9b69725400 Revert Makefile changes, Fixes #582 
Signed-off-by: Keith Rothman <537074+litghost@users.noreply.github.com>
 2019-02-04 15:07:49 -08:00
Tim 'mithro' Ansell 2eb1bf3bfe fuzzers: Add 000-init-db fuzzer. 
Creates the .db files via make rather than via sourcing settings.sh
allowing pip fuzzers to interact correctly with `make clean`.

Fixes #604.

Signed-off-by: Tim 'mithro' Ansell <me@mith.ro>
 2019-02-05 00:44:09 +11:00
Tim 'mithro' Ansell 357c32a53a fuzzers: 074-dump_all depends on 005-tilegrid. 
The `generate_grid.py` tool requires tilegrid.json to run.

Fixes #601.

Signed-off-by: Tim 'mithro' Ansell <me@mith.ro>
 2019-02-03 20:49:28 +11:00
Paul Schulz 0d0116b6eb Makes minor documentation change. 
Signed-off-by: Paul Schulz <paul@mawsonlakes.org>
 2019-02-03 00:59:43 +10:30
Paul Schulz d964d8a363 Makes minor formatting chamges to documentation 
Signed-off-by: Paul Schulz <paul@mawsonlakes.org>
 2019-02-03 00:46:45 +10:30
Keith Rothman 0c4cde2004 Increase sample counter for BRAM config. 
Signed-off-by: Keith Rothman <537074+litghost@users.noreply.github.com>
 2019-02-01 15:15:15 -08:00
Keith Rothman 950d9f5c74 Lower sample count. 
Signed-off-by: Keith Rothman <537074+litghost@users.noreply.github.com>
 2019-02-01 13:57:55 -08:00
Keith Rothman 570b99dd4f Run make format. 
Signed-off-by: Keith Rothman <537074+litghost@users.noreply.github.com>
 2019-02-01 13:57:55 -08:00
Keith Rothman 6caa47202b Output FIFO bits at tile instead of site. 
Signed-off-by: Keith Rothman <537074+litghost@users.noreply.github.com>
 2019-02-01 13:57:55 -08:00
Keith Rothman 0edc3facde Add initial FIFO configuration. 
Signed-off-by: Keith Rothman <537074+litghost@users.noreply.github.com>
 2019-02-01 13:57:47 -08:00
Tim 'mithro' Ansell 93ffa6f827 fuzzers: Fix including Makefiles. 
Fixes #593.

Signed-off-by: Tim 'mithro' Ansell <me@mith.ro>
 2019-01-31 18:24:33 -08:00
Tim Ansell 32d0d56f78
Merge pull request #587 from litghost/fix_typo_in_dsp_mskpat 
Fix typo in 100-dsp-mskpat.
 2019-02-01 12:26:17 +13:00
litghost c614a52d2e
Merge pull request #581 from litghost/bram_cascade-fuzzer 
BRAM Cascade pip fuzzer.
 2019-01-31 13:55:35 -08:00
Keith Rothman ad53bd6b4c Remove _R_ zero db, not required anymore. 
Signed-off-by: Keith Rothman <537074+litghost@users.noreply.github.com>
 2019-01-31 11:01:13 -08:00
Keith Rothman 6f13ee4155 Merge BRAM_L and BRAM_R solving and decrease maximum candidate count from 4 to 2. 
Signed-off-by: Keith Rothman <537074+litghost@users.noreply.github.com>
 2019-01-31 10:47:55 -08:00
litghost a82bb99068
Merge pull request #586 from antmicro/fuzz-all 
fuzzers: Makefile: add explicit all target
 2019-01-31 09:55:54 -08:00
Keith Rothman 290df3249c Fix type in 100-dsp-mskpat. 
Signed-off-by: Keith Rothman <537074+litghost@users.noreply.github.com>
 2019-01-31 09:30:55 -08:00
Karol Gugala 96bac6bf00 fuzzers: Makefile: add explicit all target 
Signed-off-by: Karol Gugala <kgugala@antmicro.com>
 2019-01-31 17:20:22 +01:00
Karol Gugala d807216da7 Fuzzers: 019: set N=3 
Signed-off-by: Karol Gugala <kgugala@antmicro.com>
 2019-01-31 11:13:01 +01:00
Keith Rothman 7e0eab8b94 Add remaining bits. 
Signed-off-by: Keith Rothman <537074+litghost@users.noreply.github.com>
 2019-01-30 21:41:31 -08:00
Keith Rothman 7469df937a Run make format. 
Signed-off-by: Keith Rothman <537074+litghost@users.noreply.github.com>
 2019-01-30 17:52:55 -08:00
Keith Rothman 19fc8f109a More bits! 
Signed-off-by: Keith Rothman <537074+litghost@users.noreply.github.com>
 2019-01-30 17:52:17 -08:00
Keith Rothman 74893fae4d Add even more zero bits! 
Signed-off-by: Keith Rothman <537074+litghost@users.noreply.github.com>
 2019-01-30 17:17:02 -08:00
Keith Rothman 7f2fa3f801 Add more zero bits, and fix address emission. 
Signed-off-by: Keith Rothman <537074+litghost@users.noreply.github.com>
 2019-01-30 16:50:34 -08:00
Keith Rothman 741715851a Initial cascade pip fuzzer. 
Signed-off-by: Keith Rothman <537074+litghost@users.noreply.github.com>
 2019-01-30 14:53:05 -08:00
Keith Rothman 90bec29590 Increase N to avoid noise. 
Signed-off-by: Keith Rothman <537074+litghost@users.noreply.github.com>
 2019-01-29 18:45:04 -08:00
Keith Rothman 14090764eb Run make format. 
Signed-off-by: Keith Rothman <537074+litghost@users.noreply.github.com>
 2019-01-29 18:35:05 -08:00
Keith Rothman 15f411a42b Add EN_ECC_READ/WRITE bits. 
Signed-off-by: Keith Rothman <537074+litghost@users.noreply.github.com>
 2019-01-29 18:34:12 -08:00
Keith Rothman 1fc6cc7007 Add RAM extension bits for 1 bit cascades. 
Signed-off-by: Keith Rothman <537074+litghost@users.noreply.github.com>
 2019-01-29 18:21:34 -08:00
Keith Rothman 1cb067046a Reformat and run make format. 
Signed-off-by: Keith Rothman <537074+litghost@users.noreply.github.com>
 2019-01-29 18:11:49 -08:00
Keith Rothman a20f6cdb4c Add REG priority and RDADDR collision settings. 
Signed-off-by: Keith Rothman <537074+litghost@users.noreply.github.com>
 2019-01-29 18:08:28 -08:00
Keith Rothman 890a14e6df Add ZINV bits for REG CLK's. 
Signed-off-by: Keith Rothman <537074+litghost@users.noreply.github.com>
 2019-01-29 15:50:19 -08:00
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
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
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 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
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 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
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
John McMaster 14708a9821 part-yaml: build dir 
Signed-off-by: John McMaster <johndmcmaster@gmail.com>
 2019-01-14 16:32:40 +01:00