Commit Graph

1448 Commits

Author SHA1 Message Date
Karol Gugala 42529b7287 fuzzers: 51: calculate 50 DB entries in each step
Signed-off-by: Karol Gugala <kgugala@antmicro.com>
2019-01-10 12:46:41 +01:00
Karol Gugala a4b0c6f1de fuzzers: refactor fuzzer 51
The fuzzer is now todo files based. It is also using generic
generate.py script.
For now the fuzzer instantiates picorv and randluts besides
the logic under test. This is required for to deliver negative
examples to segmaker. Because of the size of the design this
fuzzer is taking really long to complete. We need to find a
smallest possible design that will be enough to generate the DB.

Signed-off-by: Karol Gugala <kgugala@antmicro.com>
2019-01-09 23:16:22 +01:00
Karol Gugala e6eb0db9f9 utils: top_generate: generate setseed.vh for all targets
Signed-off-by: Karol Gugala <kgugala@antmicro.com>
2019-01-09 23:16:22 +01:00
Karol Gugala 49d8a6c22c fuzzers: 56: use generic generate.py
Signed-off-by: Karol Gugala <kgugala@antmicro.com>
2019-01-09 23:16:22 +01:00
Karol Gugala 5ea696b632 utils: pass flages to generate.py
Signed-off-by: Karol Gugala <kgugala@antmicro.com>
2019-01-09 23:16:22 +01:00
Karol Gugala bc48baa30d fuzzers: add generic generate.py
Signed-off-by: Karol Gugala <kgugala@antmicro.com>
2019-01-09 23:16:19 +01:00
Karol Gugala eb11da50e0 fuzzers: int_loop: do not mask errors
Signed-off-by: Karol Gugala <kgugala@antmicro.com>
2019-01-09 22:12:47 +01:00
John McMaster a9c2af5b9d
Merge pull request #470 from mcmasterg/bit_only
segprint: --bit-only
2019-01-09 18:43:11 +01:00
John McMaster 010a2eb5da segprint: --bit-only
Signed-off-by: John McMaster <johndmcmaster@gmail.com>
2019-01-09 18:36:18 +01:00
John McMaster 1b98f5d1a6
Merge pull request #468 from mithro/master
Fix indenting in mergedb.py
2019-01-09 10:03:32 +01:00
Tim 'mithro' Ansell 3b13f8734f Fix indenting in mergedb.py
Fixes #467.

Signed-off-by: Tim 'mithro' Ansell <me@mith.ro>
2019-01-08 18:23:25 -08:00
John Mcmaster ae52c3ae84
Merge pull request #464 from natsfr/master
Bug #171: Fixing build directory for Fuzzers 071
2019-01-08 23:54:59 +01:00
John Mcmaster 6062c7ea56
Merge pull request #461 from mcmasterg/print_unknown_bits
segprint: fix -b flag, working on tilegrid directly
2019-01-08 23:50:15 +01:00
Mehdi Khairy a4dd142bb9 Bug #171: Fixing build directory for Fuzzers 071
Signed-off-by: Mehdi Khairy <mehdi.khairy@more-magic.org>
2019-01-08 21:30:01 +01:00
John McMaster 955759020d segprint: fix -b flag, working on tilegrid directly
Signed-off-by: John McMaster <johndmcmaster@gmail.com>
2019-01-08 19:05:39 +01:00
Tim 'mithro' Ansell 4cbf7fa752 docker: Run `make env`
Signed-off-by: Tim 'mithro' Ansell <me@mith.ro>
2019-01-08 10:05:34 -08:00
Tim 'mithro' Ansell 3b142499ea docker: Don't use -j on fuzzers.
Signed-off-by: Tim 'mithro' Ansell <me@mith.ro>
2019-01-08 09:00:58 -08:00
John McMaster 78c86a3300
Merge pull request #458 from mcmasterg/iob_supertag
Iob supertag, mergedb improvement, groupmask util
2019-01-08 16:29:36 +01:00
John McMaster d0d6778826 mergedb: proper merge script
Signed-off-by: John McMaster <johndmcmaster@gmail.com>
2019-01-08 15:49:35 +01:00
John McMaster 6d9d1687a3 iob-stag: groups.grp file
Signed-off-by: John McMaster <johndmcmaster@gmail.com>
2019-01-08 15:49:30 +01:00
John McMaster 1f431903e2 groupmask utility
Signed-off-by: John McMaster <johndmcmaster@gmail.com>
2019-01-08 15:49:30 +01:00
John McMaster f3fade68bd iob-stag: IOB supertag
Signed-off-by: John McMaster <johndmcmaster@gmail.com>
2019-01-08 15:49:30 +01:00
John McMaster 075a939ffc add_site_group_zero() allow unused zero_val for empty tile
Signed-off-by: John McMaster <johndmcmaster@gmail.com>
2019-01-08 15:49:30 +01:00
Tomasz Michalak 065bd6588b Fix htmlgen #173
Signed-off-by: Tomasz Michalak <tmichalak@antmicro.com>
2019-01-08 15:49:30 +01:00
John McMaster 9c0a855fa0
Merge pull request #457 from antmicro/173_review_htmlgen
Fix htmlgen #173
2019-01-08 15:17:33 +01:00
Tomasz Michalak 4ddf516d98 Fix htmlgen #173
Signed-off-by: Tomasz Michalak <tmichalak@antmicro.com>
2019-01-08 14:18:55 +01:00
John McMaster e18baf51b3
Merge pull request #455 from mcmasterg/addrwidth
addrwidth utility
2019-01-08 11:51:44 +01:00
John McMaster 06347fdd3a addrwidth utility
Signed-off-by: John McMaster <johndmcmaster@gmail.com>
2019-01-08 11:44:24 +01:00
John McMaster b8c5af8052 partgen py utilities (gen_part_base_addrs)
Signed-off-by: John McMaster <johndmcmaster@gmail.com>
2019-01-08 11:44:24 +01:00
John McMaster 12c02c347b block_type_s2i
Signed-off-by: John McMaster <johndmcmaster@gmail.com>
2019-01-08 11:44:24 +01:00
Tim 'mithro' Ansell d9fbfc35ca Use bash for running the fuzzers.
Signed-off-by: Tim 'mithro' Ansell <me@mith.ro>
2019-01-07 23:32:31 -08:00
Tim 'mithro' Ansell 599d15b64e Try again updating Dockerfile.
Signed-off-by: Tim 'mithro' Ansell <me@mith.ro>
2019-01-07 23:22:14 -08:00
Tim 'mithro' Ansell f51d8c7069 Actually run the fuzzers in the cloudbuild.
Signed-off-by: Tim 'mithro' Ansell <me@mith.ro>
2019-01-07 23:10:59 -08:00
Tim 'mithro' Ansell 07a15c19ff Use ${SHORT_SHA} rather than ${TAG_NAME}
Signed-off-by: Tim 'mithro' Ansell <me@mith.ro>
2019-01-07 22:46:25 -08:00
John Mcmaster b339940b2b
Merge pull request #449 from mcmasterg/mv_minitest
minitest: clean up folders
2019-01-07 23:38:29 +01:00
John McMaster 1cc5b72ca5 minitest: clean up folders
Signed-off-by: John McMaster <johndmcmaster@gmail.com>
2019-01-07 23:31:44 +01:00
John McMaster 747a1325b6
Merge pull request #448 from mcmasterg/fuzzer_tiletype
fuzzers: name with tile type
2019-01-07 23:23:16 +01:00
John McMaster 069f9f5ff4
Merge pull request #445 from antmicro/443_broken_segprint
utils: segprint: Fix issue #443 with segprint -b
2019-01-07 23:23:03 +01:00
John McMaster 815c3d4af2 fuzzers: name with tile type
Signed-off-by: John McMaster <johndmcmaster@gmail.com>
2019-01-07 23:08:45 +01:00
Tomasz Michalak f0f7661fbb utils: segprint: Fix issue #443 with segprint -b
Signed-off-by: Tomasz Michalak <tmichalak@antmicro.com>
2019-01-07 18:09:43 +01:00
John McMaster fb83964590
Merge pull request #446 from mcmasterg/specmk
top_generate.sh => top_generate.mk
2019-01-07 17:43:44 +01:00
John McMaster 80e140b278 top_generate.sh => top_generate.mk
Signed-off-by: John McMaster <johndmcmaster@gmail.com>
2019-01-07 17:38:35 +01:00
John Mcmaster 0eed4499c0
Merge pull request #442 from mcmasterg/vivado_check
vivado: assert expected version
2019-01-06 17:40:18 +01:00
John McMaster d7efa3bc81 vivado: assert expected version
Signed-off-by: John McMaster <johndmcmaster@gmail.com>
2019-01-06 17:24:23 +01:00
John Mcmaster dd26facddf
Merge pull request #441 from emka/clkout_divide
Add all CLKOUT1_DIVIDE bits
2019-01-06 12:29:41 +01:00
Mitja Kleider 540999acdf Add all CLKOUT1_DIVIDE bits
Signed-off-by: Mitja Kleider <mitja@kleider.name>
2019-01-06 11:41:48 +01:00
John Mcmaster 4b8f3b0eb8
Merge pull request #437 from antmicro/017-add-S-prefix
fuzzers: 017: rename PRECYINIT_{0|1} -> PRECYINIT_{C0|C1}
2019-01-04 01:08:52 +01:00
Karol Gugala 5fcfc4d61b fuzzers: 017: rename PRECYINIT_{0|1} -> PRECYINIT_{C0|C1}
Signed-off-by: Karol Gugala <kgugala@antmicro.com>
2019-01-02 21:30:56 +01:00
John Mcmaster 3b3b347af5
Merge pull request #433 from antmicro/roi-harness
minitests: roi_harness: use XRAY_DATABASE env
2019-01-02 20:40:10 +01:00
Karol Gugala 1839f4eac0 minitests: roi_harness: use XRAY_DATABASE env
Signed-off-by: Karol Gugala <kgugala@antmicro.com>
2019-01-02 16:42:26 +01:00