Commit Graph

345 Commits

Author SHA1 Message Date
Tomasz Michalak 8054f88d40 utils: sp6_bitstream_analyzer: Convert f-string to str.format()
Signed-off-by: Tomasz Michalak <tmichalak@antmicro.com>
2019-09-25 07:39:36 +02:00
Tomasz Michalak d59247d9c6 utils: Add Spartan6 bitstream analyzer tool
Signed-off-by: Tomasz Michalak <tmichalak@antmicro.com>
2019-09-25 07:39:36 +02:00
Maciej Kurc eeed1fbfa9 Ran format-py
Signed-off-by: Maciej Kurc <mkurc@antmicro.com>
2019-08-05 13:49:41 +02:00
Maciej Kurc 078dda081b Utility scripts for viewing/comparing segbit files (.db and .rdb)
Signed-off-by: Maciej Kurc <mkurc@antmicro.com>
2019-08-05 13:48:53 +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
litghost ae526981a2
Merge pull request #946 from antmicro/idelay-fuzzer
Fuzzer for IDELAY
2019-07-22 10:04:36 -07: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 c9ce06f688 Fixed mergedb.sh to support IOI3 tiles
Signed-off-by: Maciej Kurc <mkurc@antmicro.com>
2019-07-18 09:17:24 +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
Keith Rothman 444f214561 Run make format.
Signed-off-by: Keith Rothman <537074+litghost@users.noreply.github.com>
2019-07-08 11:23:33 -07:00
Keith Rothman f92fb52576 Merge branch 'master' into add_pll_interconnect_fuzzer 2019-07-08 11:22:49 -07:00
Keith Rothman 3d1fade706 Change error output to stderr.
Signed-off-by: Keith Rothman <537074+litghost@users.noreply.github.com>
2019-07-08 11:21:43 -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 eaa8e50fe1 utils: sdfmerge: use ns timescale
Signed-off-by: Karol Gugala <kgugala@antmicro.com>
2019-06-29 14:12:08 +02:00
Keith Rothman 816c87a393 Do not require zero features to have zero bits, but do ignore them.
During database building, zero features may have other bits.  For now,
ignore the fact that zero features have non-zero bits.

Signed-off-by: Keith Rothman <537074+litghost@users.noreply.github.com>
2019-06-20 09:38:47 -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
Maciej Kurc 1eae588d60 Added reporting presence of missing bits via exit code
Signed-off-by: Maciej Kurc <mkurc@antmicro.com>
2019-06-12 09:07:17 +02:00
Maciej Kurc 53db46b2d5 Updated exit and input args handling
Signed-off-by: Maciej Kurc <mkurc@antmicro.com>
2019-06-12 09:07:17 +02:00
Maciej Kurc 626c0f7e66 An utility script that helps to find missing segbits for PIPs
Signed-off-by: Maciej Kurc <mkurc@antmicro.com>
2019-06-12 09:07:17 +02:00
Tomasz Michalak cb22f2f0fe Don't parse db files with fuzzer of origin information during database validation
Signed-off-by: Tomasz Michalak <tmichalak@antmicro.com>
2019-05-27 08:48:09 +02:00
Tomasz Michalak d1ccb55a58 Don't sort db files with fuzzer of origin information
Signed-off-by: Tomasz Michalak <tmichalak@antmicro.com>
2019-05-27 08:48:03 +02: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
Karol Gugala 8d4a94d367 sdfmerge: emit only the selected instance of the merged cell
Signed-off-by: Karol Gugala <kgugala@antmicro.com>
2019-05-14 17:34:07 -07:00
Karol Gugala 757b4bea0c utils: makesdf: set timescale to 1ns
Signed-off-by: Karol Gugala <kgugala@antmicro.com>
2019-05-14 17:34:07 -07:00
Karol Gugala e5d2a65f0a utils: makesdf: sort the output
Signed-off-by: Karol Gugala <kgugala@antmicro.com>
2019-05-14 21:18:24 +02:00
Tim 'mithro' Ansell 636db487c8 Attempting to make fasm2frames.py tests pass again.
Signed-off-by: Tim 'mithro' Ansell <me@mith.ro>
2019-05-09 09:56:54 +02:00
Tomasz Michalak 894a629767
Merge pull request #510 from antmicro/clean-db
utils: add cleandb tool
2019-05-08 10:18:35 +02:00
Karol Gugala 588be1c62a utils: sdfmerge: write ouptput sdf file
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 31903a222a utils: makesdf: fix SLOW and FAST paths grouping
Signed-off-by: Karol Gugala <kgugala@antmicro.com>
2019-04-28 18:53:06 -07:00
Karol Gugala f4a37af87d utils: makesdf: sort delays
Signed-off-by: Karol Gugala <kgugala@antmicro.com>
2019-04-28 18:53:06 -07:00
Karol Gugala 4d5434f3d2 utils: makesdf: use only slow values in timingcheck section
SDF spec assumes we have only one set of values in the timingcheck section

Signed-off-by: Karol Gugala <kgugala@antmicro.com>
2019-04-28 18:53:06 -07:00
Karol Gugala bf86b47d4a utils: makesdf: minor output sdf fixes
Fix endfile parenthesis.
Remove spaces in delay definitions

Signed-off-by: Karol Gugala <kgugala@antmicro.com>
2019-04-28 18:53:06 -07:00
Karol Gugala 3ccc2df586 utils: add makesdf tool
Signed-off-by: Karol Gugala <kgugala@antmicro.com>
2019-04-28 18:53:06 -07:00
Karol Gugala 64b39ffa29 utils.tcl: add get_tile_types function
Signed-off-by: Karol Gugala <kgugala@antmicro.com>
2019-04-28 18:53:06 -07:00
Tomasz Michalak 48e5b8fc8d segprint: drop empty sections with -z -D
Signed-off-by: Tomasz Michalak <tmichalak@antmicro.com>
2019-04-15 21:43:53 +02: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
litghost 05055fe028
Merge pull request #696 from antmicro/lock-mergedb
utils: mergedb: lock database accesses
2019-03-05 16:41:06 -08:00
Karol Gugala 8db90e9a76 utils: mergedb: lock database accesses
Signed-off-by: Karol Gugala <kgugala@antmicro.com>
2019-03-05 20:21:56 +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
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
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
litghost 7f7c3bb564
Merge pull request #650 from litghost/add_fasm_features_to_harness
Add required FASM features to harness
2019-02-14 08:29:00 -08:00
Keith Rothman b1c822cb98 Fix review comments.
Signed-off-by: Keith Rothman <537074+litghost@users.noreply.github.com>
2019-02-14 08:27:43 -08:00
litghost 2a8d6e6bb9
Merge pull request #655 from antmicro/site-naming-fix
tile.py: changed get_instance_sites function
2019-02-14 08:14:56 -08:00
Alessandro Comodi f489350788 tile.py: changed get_instance_sites function
Signed-off-by: Alessandro Comodi <acomodi@antmicro.com>
2019-02-14 11:40:32 +01:00
Keith Rothman 8387eb8c32 Update FASM tools to use new required_features.
Signed-off-by: Keith Rothman <537074+litghost@users.noreply.github.com>
2019-02-12 17:58:42 -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 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
litghost c39b67007a
Merge pull request #638 from litghost/add_clk_hrow_bits
Add CLK HROW bits
2019-02-12 15:15:03 -08:00
Alessandro Comodi 14bfcb835e
Merge pull request #640 from antmicro/check-out-of-bound-bits
checkdb.py: restored check on all previous tiles
2019-02-12 22:46:59 +01:00
Alessandro Comodi 1a7302418e Run make format.
Signed-off-by: Alessandro Comodi <acomodi@antmicro.com>
2019-02-12 22:08:43 +01:00
Alessandro Comodi aa4ea882df checkdb.py: restored check on all previous tiles
Signed-off-by: Alessandro Comodi <acomodi@antmicro.com>
2019-02-12 22:05:11 +01:00
litghost 8222b4089b
Merge pull request #631 from antmicro/check-out-of-bound-bits
checkdb: optimized script and added out-of-bound check
2019-02-12 09:56:25 -08:00
Alessandro Comodi 987cf47df9 checkdb.py: remove not needed arguments
Signed-off-by: Alessandro Comodi <acomodi@antmicro.com>
2019-02-12 18:50:08 +01:00
Alessandro Comodi 2a8587772d checkdb.py: now correctly using db and grid datastructures
Signed-off-by: Alessandro Comodi <acomodi@antmicro.com>
2019-02-12 17:00:16 +01:00
Alessandro Comodi e87d6c603f Run make format.
Signed-off-by: Alessandro Comodi <acomodi@antmicro.com>
2019-02-12 14:03:53 +01:00
Alessandro Comodi d18a6df1f8 checkdb.py: using db and grid
Signed-off-by: Alessandro Comodi <acomodi@antmicro.com>
2019-02-12 14:02:42 +01:00
Alessandro Comodi 1f6054ae0d Run make format.
Signed-off-by: Alessandro Comodi <acomodi@antmicro.com>
2019-02-11 17:17:28 +01:00
Alessandro Comodi 530bb1f243 checkdb.py: added some optimizations to script
I have restored the check on every single tile while also adding some
optimizations to the algorithm. It still is pretty slow, mainly during
the INT_[LR] tiles checking, but compared to the previous solution there is
a good improvement.

Signed-off-by: Alessandro Comodi <acomodi@antmicro.com>
2019-02-11 14:18:27 +01:00
Keith Rothman 2208a48b89 Make format.
Signed-off-by: Keith Rothman <537074+litghost@users.noreply.github.com>
2019-02-08 14:27:57 -08:00
Keith Rothman 111ad4bacc Add optional bits output for debugging.
Signed-off-by: Keith Rothman <537074+litghost@users.noreply.github.com>
2019-02-08 14:26:35 -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
Alessandro Comodi ad1877f9e5 checkdb: added out of bound bits check and optimized
Signed-off-by: Alessandro Comodi <acomodi@antmicro.com>
2019-02-08 15:35:49 +01:00
Tim 'mithro' Ansell 39098dc79e utils: Output path when assert fails.
Signed-off-by: Tim 'mithro' Ansell <me@mith.ro>
2019-02-07 21:59:25 +11:00
Keith Rothman c830c27357 Fix frame initialization regression.
Signed-off-by: Keith Rothman <537074+litghost@users.noreply.github.com>
2019-02-06 22:18:33 -08:00
Keith Rothman f372849bc0 Update FASM to version that includes output sorting.
Signed-off-by: Keith Rothman <537074+litghost@users.noreply.github.com>
2019-02-06 17:12:01 -08:00
Keith Rothman 310d197b8e Add support for non-canonical sorted output.
Signed-off-by: Keith Rothman <537074+litghost@users.noreply.github.com>
2019-02-06 16:41:04 -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
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
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
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 741715851a Initial cascade pip fuzzer.
Signed-off-by: Keith Rothman <537074+litghost@users.noreply.github.com>
2019-01-30 14:53:05 -08:00
litghost b116641859
Merge pull request #577 from litghost/small_tools_update
Set bit2fasm.py as executable and increase context on JSON diff.
2019-01-30 08:18:41 -08:00
Tim 'mithro' Ansell c52e3fd04a utils: Fix formatting.
Signed-off-by: Tim 'mithro' Ansell <me@mith.ro>
2019-01-30 17:20:37 +11:00
Tim 'mithro' Ansell 19d5a24e41 utils: Nicer output format.
Signed-off-by: Tim 'mithro' Ansell <me@mith.ro>
2019-01-30 17:11:54 +11:00
Tim 'mithro' Ansell 44117ebb0d utils: More aggressive output checking.
Signed-off-by: Tim 'mithro' Ansell <me@mith.ro>
2019-01-30 17:11:54 +11:00
Tim 'mithro' Ansell 73702cd660 utils: Fix the output sort order in Info.md file.
Signed-off-by: Tim 'mithro' Ansell <me@mith.ro>
2019-01-30 17:11:54 +11:00
Tim 'mithro' Ansell c45213329c utils: Assert sort stability.
Make sure the sort order seems stable.

Signed-off-by: Tim 'mithro' Ansell <me@mith.ro>
2019-01-30 17:11:54 +11:00
Tim 'mithro' Ansell 2950a63769 utils: Fix an instability in cmp method.
Signed-off-by: Tim 'mithro' Ansell <me@mith.ro>
2019-01-30 17:11:54 +11:00
Tim 'mithro' Ansell 522ac7901c utils: Info.md can be used to update existing Info.md
Useful if you just want to reformat the existing files.

Signed-off-by: Tim 'mithro' Ansell <me@mith.ro>
2019-01-30 17:11:54 +11:00
Tim 'mithro' Ansell 47294cf45d utils: Adding tool for generating the database/Info.md file.
Signed-off-by: Tim 'mithro' Ansell <me@mith.ro>
2019-01-30 17:11:54 +11:00
Tim 'mithro' Ansell 8c1fe3f844 utils: Adding tool for sorting the database files.
Signed-off-by: Tim 'mithro' Ansell <me@mith.ro>
2019-01-30 17:11:54 +11:00
Keith Rothman 167401833c Set bit2fasm.py as executable and increase context on JSON diff.
Signed-off-by: Keith Rothman <537074+litghost@users.noreply.github.com>
2019-01-29 15:51:11 -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 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 0bc3d9097b Add INT_INTERFACE filtering.
Signed-off-by: Keith Rothman <537074+litghost@users.noreply.github.com>
2019-01-27 07:04:09 -08:00
Keith Rothman 1fb3516435 Fix show only missing and sort tiles on verbose.
Signed-off-by: Keith Rothman <537074+litghost@users.noreply.github.com>
2019-01-24 11:45:24 -08:00
Keith Rothman e696339059 Add filtering to tilegrid report and options for reporting output.
Signed-off-by: Keith Rothman <537074+litghost@users.noreply.github.com>
2019-01-24 11:40:36 -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
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
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
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