Introduction RISCV-ISAC: RISC-V ISAC is an ISA coverage extraction tool. Given a set of coverpoints and an execution trace of a test/application run on a model, ISAC can provide a report indicating in detail which of those coverpoints were covered by the test/application. ISAC also holds the capability to provide a detailed quality analysis on data propagation occurring within the test/application.
Feature additions on ISAC:
- Instruction object improvement (link)
- Improve data propagation reports to capture multiple signatures per coverpoint (link)
- Explicitly specify redundant coverpoints in the terminal messages ((link)
Introduction RISCV-CTG: RISCV-CTG is the RISC-V based Compatibility Test Generator. This tool is used to generate tests used in the official RISC-V Architectural Test Suite and the RISC-V architectural test framework RISCOF. All tests generated by the CTG are compliant with the official Test Format Spec.
The CTG is similar to a constrained test generator capable of generating tests targeting a specific set of constraints. These constraints are supplied to the CTG using the Coverage Group Format (CGF) File. The CGF file contains various cover-points for different instructions. The CTG treats each cover-point as a constraint and employs a solver to identify potential solutions. CTG uses the constraint satisfaction problem (CSPs) solvers offered by the python-constraint package.
Feature additions on CTG:
- CSR test generation(link)
- Github Repo(s)
- Documentation(s)
- AT FAQs (Can be included to provide context about Architectural testing) -https://docs.google.com/document/d/1U6qTBGhaR5hipxxC5z7-L2GQazAXhe79sgc3KscNme8
- RISC-V Forum presentation - https://www.youtube.com/watch?v=VIW1or1Oubo&t=1s
- Architectural Tests Repo - https://github.com/riscv-non-isa/riscv-arch-test