Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Add ratified Zacas extension #370

Merged
merged 6 commits into from
May 7, 2024
Merged

Conversation

ved-rivos
Copy link
Contributor

@ved-rivos ved-rivos commented Jul 28, 2023

Description

This patch introduces a coverage model and the generated test cases using riscv_ctg. The tests have been generated using the following command:

riscv_ctg.py --cgf coverage/dataset.cgf --cgf coverage/zicond.cgf -bi rv32i -d rv32tests/
riscv_ctg.py --cgf coverage/dataset.cgf --cgf coverage/zicond.cgf -bi rv64i -d rv64tests/

The generated tests are placed in
rv32i_m/Zacas/src
rv64i_m/Zacas/src

Related Issues

Ratified/Unratified Extensions

  • Ratified
  • Unratified

List Extensions

Zacas specification: https://github.com/riscv/riscv-zacas

Reference Model Used

  • [ X] SAIL
  • [ X] Spike
  • [ ] Other - < SPECIFY HERE >

Mandatory Checklist:

  • [ x] All tests are compliant with the test-format spec present in this repo ?
  • [ ] Ran the new tests on RISCOF with SAIL/Spike as reference model successfully ?
  • [ ] Ran the new tests on RISCOF in coverage mode
  • [ ] Link to Google-Drive folder containing the new coverage reports (See this for more info): < SPECIFY HERE >
  • [ ] Link to PR in RISCV-ISAC from which the reports were generated : < SPECIFY HERE >
  • [ X] Changelog entry created with a minor patch

Optional Checklist:

  • [x ] RISCV-V CTG PR link if tests were generated using it : Add unratified Zacas extension  riscv-software-src/riscv-ctg#73
  • [ ] Were the tests hand-written/modified ?
  • [ ] Have you run these on any hard DUT model ? Please specify name and provide link if possible in the description
  • If you have modified arch_test.h Please provide a detailed description of the changes in the Description section above.

@ved-rivos ved-rivos mentioned this pull request Oct 30, 2023
9 tasks
@ved-rivos ved-rivos changed the title Add unratified Zacas extension Add ratified Zacas extension Nov 30, 2023
@UmerShahidengr
Copy link
Collaborator

The CTG PR (riscv-software-src/riscv-ctg#73) has already been merged, these are the generated tests from a merged coverpoint group file, good to go from my side.

Updated Changelog file to resolve conflict

Signed-off-by: Umer Shahid <[email protected]>
@UmerShahidengr
Copy link
Collaborator

Its parallel riscv-ctg PR has already been merged since August last year, so I am merging these tests too.

@UmerShahidengr UmerShahidengr merged commit 034f1cc into riscv-non-isa:main May 7, 2024
1 check passed
@trdthg trdthg mentioned this pull request Dec 20, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants