David Harris
e282245b7f
Merge pull request #1468 from jordancarlin/sail_installation
...
Sail update and installation fix
2025-06-27 05:15:51 -07:00
Jordan Carlin
97e183c58f
Update Sail config files
2025-06-27 00:08:47 -07:00
Jordan Carlin
eb70bf4fca
Sail update and installation fixes
2025-06-26 23:54:35 -07:00
David Harris
0ccd97b151
Merge pull request #1465 from Marina-Bellido/selfchecking
...
Adding Zifencei to coverage.svh
2025-06-24 13:29:57 -07:00
Marina Bellido Rodriguez
df0d2e0bca
fix merge conflict
2025-06-24 10:55:13 -07:00
Marina Bellido Rodriguez
9f4cdeeffa
including Zifencei into the coverage report
2025-06-24 10:49:58 -07:00
David Harris
a9b3e3669d
Merge pull request #1460 from jordancarlin/spyglass
...
Lint / Lint (Python 312) (push) Has been cancelled
Lint / Lint (Python 39) (push) Has been cancelled
Spyglass improvements
2025-06-23 06:23:35 -07:00
Rose Thompson
fefbeed427
Merge pull request #1461 from jordancarlin/disable_vector_coverage
...
Disable vector coverage by default
2025-06-22 16:48:58 -07:00
Jordan Carlin
ad48de29b3
Disable vector coverage by default
...
The coverpoints are still in flux and easily break with incorrect configurations. Wally also doesn't support vector.
2025-06-22 16:45:05 -07:00
Jordan Carlin
8a70abaff0
Add --gui option to lint-spyglass
2025-06-21 14:30:26 -07:00
Jordan Carlin
db97838b53
Update site-setup.csh to match
2025-06-21 14:11:42 -07:00
Jordan Carlin
16509ef485
Spyglass improvements
...
- Update `site-setup.sh` to add `spyglass` to the path
- Update `cvw.prj` to use environment variables so temporary files created using sed are not needed
- Only delete reports for configurations that are being run
2025-06-21 14:02:09 -07:00
Jordan Carlin
0e0e850e68
Merge pull request #1459 from stineje/main
...
Lint / Lint (Python 312) (push) Has been cancelled
Lint / Lint (Python 39) (push) Has been cancelled
VC Spyglass Lint scripts
2025-06-20 07:22:07 -07:00
James Stine
56ef724024
forgot changes to site-setup.sh - sorry
2025-06-20 09:06:38 -05:00
James Stine
523cc95573
fixes to lint-spyglass.sh to make better including configurability at command line and putting workdir in synthDC/spyglass
2025-06-20 09:05:54 -05:00
James Stine
8556e08386
make minor correction on lint-spyglass.sh script - just more informative
2025-06-19 09:19:41 -05:00
James Stine
9e6fce48a4
rm waivers.tcl and cvw.prj from bin dir
2025-06-19 08:11:32 -05:00
James Stine
6537182b46
great comment to move spyglass files to another location. Moved to synthDC as might be most appropriate.
2025-06-19 08:10:28 -05:00
James Stine
79e3490d79
Forgot to add site-setup.sh stuff - sorry about that
2025-06-19 07:55:14 -05:00
James Stine
3f596408f9
Add license to files - apologies
2025-06-19 07:44:31 -05:00
James Stine
837935f77b
clean lint-spyglass.sh minor typo
2025-06-18 09:14:51 -05:00
James Stine
72c9c6aaac
Add initial run of VC Spyglass Linting. Currently works by putting all results in lint-spyglass-reports dir which can be subsequently pulled up with spyglass. The scripts work in batch and can probably be tailored to ones liking in the lint_spyglass.sh bash script
2025-06-18 09:14:10 -05:00
David Harris
75a081064e
Merge pull request #1457 from jordancarlin/dev
...
Lint / Lint (Python 312) (push) Has been cancelled
Lint / Lint (Python 39) (push) Has been cancelled
Fix regression-wally test list conditions
2025-06-16 10:18:35 -07:00
Jordan Carlin
f84e6b2730
Fix regression-wally test list conditions
2025-06-15 22:37:30 -07:00
Jordan Carlin
819217eaee
Merge pull request #1456 from davidharrishmc/dev
...
Temporarily return G=0 so riscof can build PMP ACTs
2025-06-13 17:48:45 -07:00
David Harris
466fc38dca
Fixed https://github.com/openhwgroup/cvw-arch-verif/issues/670
2025-06-13 15:29:51 -07:00
David Harris
1648f0afa2
Bug fixes
2025-06-11 10:13:50 -07:00
David Harris
7dc9a013fc
Temporarily roll back to G=0 so riscof runs ACTs. Revert this when ACT handles G=4
2025-06-11 10:01:58 -07:00
David Harris
7d3df728bd
Merge pull request #1454 from jordancarlin/update_sail
...
Lint / Lint (Python 312) (push) Has been cancelled
Lint / Lint (Python 39) (push) Has been cancelled
Update Sail
2025-06-07 06:09:10 -07:00
Jordan Carlin
93c09b759f
Clean git repos when updating tools
...
[skip ci]
2025-06-06 23:02:30 -07:00
Jordan Carlin
5f981f628e
Update Sail
2025-06-06 22:07:36 -07:00
Jordan Carlin
031edb0160
Merge pull request #1451 from davidharrishmc/dev
...
Errata page, svinval fix
2025-06-06 11:53:22 -07:00
David Harris
04bccd3e08
Started errata page
2025-06-06 06:47:29 -07:00
David Harris
d7c30f5f1f
Fixed bug decoding svinval instructions and checking TVM
2025-06-05 16:54:15 -07:00
Jordan Carlin
d006d017ed
Merge pull request #1433 from davidharrishmc/dev
...
PMP granularity, trick box support, exercise solutions
2025-06-04 17:59:20 -07:00
David Harris
55df24f00b
Fixed comments
2025-06-04 17:58:04 -07:00
David Harris
0ba93ef220
Fixed comments
2025-06-04 17:57:05 -07:00
David Harris
dde5186e75
Merge branch 'main' of https://github.com/openhwgroup/cvw into dev
2025-06-04 11:07:54 -07:00
David Harris
fb0451e7ce
Merge pull request #1448 from jordancarlin/installation-overhaul
...
Installation overhaul
2025-06-04 10:47:21 -07:00
David Harris
c1ec9aa4a6
Merge pull request #1449 from jordancarlin/benchmark_updates
...
Update expected benchmark results
2025-06-04 10:44:10 -07:00
David Harris
6c4bba150e
Merge pull request #1450 from jacassidy/main
...
Moving previous PR changes of regression-wally to Makefile in cvw-arch-verif
2025-06-04 10:43:39 -07:00
David Harris
c8da70738e
Fixing comments from Jordan
2025-06-04 10:42:40 -07:00
jacassidy
929c17fe07
Merge branch 'main' of https://github.com/openhwgroup/cvw
2025-06-04 08:22:38 -07:00
jacassidy
74e893c61f
Moving to Makefile in cvw-arch-verif
2025-06-04 08:22:12 -07:00
Jordan Carlin
63f70b4be9
Update expected benchmark results
2025-06-04 05:11:56 +00:00
Jordan Carlin
6dd8e44760
Merge pull request #1443 from openhwgroup/dependabot/submodules/addins/cvw-riscv-arch-test-77907f0
...
Bump addins/cvw-riscv-arch-test from `44832a9` to `77907f0`
2025-06-03 22:02:13 -07:00
Jordan Carlin
8d4b726b0d
Merge pull request #1444 from openhwgroup/dependabot/submodules/addins/cvw-arch-verif-7141afd
...
Bump addins/cvw-arch-verif from `1afacf0` to `7141afd`
2025-06-03 22:01:53 -07:00
David Harris
ba568c6add
Merge pull request #1447 from jacassidy/main
...
fixed regression-wally --fcov-act directory missing error
2025-06-03 16:54:43 -07:00
jacassidy
63c4075967
fixed regression-wally --fcov-act directory missing error
2025-06-03 16:52:14 -07:00
David Harris
a30b3e3ff4
Merge pull request #1445 from jordancarlin/dev
...
Script cleanup
2025-06-03 15:04:10 -07:00
