Skip to content
This repository has been archived by the owner on Nov 4, 2024. It is now read-only.

How to generate tests for RV64D and RV64F using riscv-ctg? #83

Open
riscvzbs opened this issue Oct 17, 2023 · 1 comment
Open

How to generate tests for RV64D and RV64F using riscv-ctg? #83

riscvzbs opened this issue Oct 17, 2023 · 1 comment

Comments

@riscvzbs
Copy link

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 rv64f.cgf. Now I want to generate tests for D and F extensions. How can I do that? Looking forward to your guidance. Thank you very much.

@davidharrishmc
Copy link

I'd like to use these files too, as a basis for Q and Zfh tests. Looks like @pawks generated the F tests June 17, 2022. Are the .cgf something you can post?

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

No branches or pull requests

2 participants