Rupert Swarbrick
6f6cafaa4d
[ci] Bump Spike version to get cosim implementation
...
This will only have an effect on our private CI, which picks up this
spike build from the toolnas. The build is the ibex_cosim branch,
which contains the stuff we need for the recent cosim support. It's
also new enough to support the v1.0+0.93 bitmanip flavour that we
support in the RTL.
2022-02-15 17:27:44 +00:00
Rupert Swarbrick
5691ef1a45
[ci] Bump RISC-V toolchain version to get bitmanip support
...
This version should have support for bitmanip 1.00+0.93, the version
that we target in the RTL.
2022-02-15 15:17:52 +00:00
Philipp Wagner
ed46a5c9f5
[ci] Update dependencies to match OpenTitan
...
Use the same dependencies as we use in OpenTitan to make it easier to
diagnose potential issues. No change in behavior expected.
2021-07-14 11:12:09 +01:00
Philipp Wagner
7558ecc720
Update Spike to a version with icache support
...
DV now requires a version of Spike with two patches for icache support,
use this version.
2020-10-27 10:03:15 +00:00
Philipp Wagner
922f781414
Use the latest version of Verible
...
Verible is changing quickly, use the latest version to get all the
recent goodness.
2020-10-27 10:03:15 +00:00
Philipp Wagner
92bbfd9bbb
Use the same toolchain as in OpenTitan
...
OpenTitan now uses the toolchain build 20200904-1, let's use the same
toolchain in Ibex. Functionally, the two toolchains should be identical.
2020-10-27 10:03:15 +00:00
Philipp Wagner
9c9e839c92
Use Verilator 4.040 in CI
...
This version is also used and required in OpenTitan, synchronize the
two.
2020-10-27 10:03:15 +00:00
Philipp Wagner
190518dacc
Add lowRISC-specific version of Spike to CI config
...
We use a lowRISC-internal build of Spike following the instructions at
https://ibex-core.readthedocs.io/en/latest/verification.html in private
CI. Add the version number to the CI variables file.
2020-08-21 09:59:32 +01:00
Philipp Wagner
6fca2c4aac
Factor out CI variables into separate file
...
This helps to re-use these variables in different pipelines.
2020-08-21 09:59:32 +01:00
