riscv-ctg
riscv-ctg copied to clipboard
The recently introduced toint() function does not accept arguments of type int and will trigger an exception in this case. This leads to an always crashing code path in generator.py,...
When I use 'riscv_ctg -v debug -d ./tests/ -r -cf ./sample_cgfs/dataset.cgf -cf ./sample_cgfs/rv64i.cgf -bi rv64i -p2,' I can generate tests for RV64I. However, I couldn't find the provided rv64d.cgf and...
Hi All, This PR adds cover-point definitions for the set of self-checking assembly tests for the architectural verification of MMU SV39, These cover-points are hand-written and follows the test plan...
Dear All, ) This PR adds coverpoint definitions for the set of self-checking assembly tests for the architectural verification of **MMU SV39**, These coverpoints are hand-written and follows the test...
This PR is the continuation of the closed PR of [1danish13](https://github.com/1danish13) which can be seen [here](https://github.com/riscv-software-src/riscv-ctg/pull/51). It contains all the riscv priv arch test commits added by [1danish13](https://github.com/1danish13) and all...
Creating a pull request for discussion. It's not ready for merge, but I'm open to feedback on this. Thanks!
This patch introduces initial versions of covergroups for the Zvk* instructions. The lack of vector support makes these pretty useless, but once this is available it should not be too...
The following instruction attributes are not documented (see https://riscv-ctg.readthedocs.io/en/latest/overview.html#attributes): * `std_op` * `sig` and its subfields `stride` and `sz` Further, the example has the following `template`: ``` template: | //...
## Description Adding Support for Zilsd and Zcmlsd Extensions presented here: ### Related Issues The related PRs - riscv-config support for the extension merged in dev [PR](https://github.com/riscv-software-src/riscv-config/pull/177) - riscv-isa-sim support...
#DEVELOPMENT PRs SHOULD BE TO DEV BRANCH ONLY ## Description > Provide a detailed description of the changes performed by the PR. ### Related Issues > Please list all the...