Priv 1.12 ACT - Add Fence Coverage Additions

[jjscheel]

Technical Group

Applications & Tools HC

ratification-pkg

Priv 1.12

Technical Liaison

Allen Baum

Task Category

Arch Tests

Task Sub Category

• gcc
• binutils
• gdb
• intrinsics
• Java
• KVM
• ld
• llvm
• Linux kernel
• QEMU
• Spike

Ratification Target

2020

Statement of Work (SOW)

Component names: RV32/RV64I

Requirements:

Generate tests that use unsupported, legal encodings for Fence and Fencei ops ACT issue 119. Specifically that any reserved bits defined to be ignored do not cause traps.

Note: the standard binutils likelikely cannot generate these opcode, so the .insn assembler directive will need to be used. See
https://sourceware.org/binutils/docs/as/RISC_002dV_002dDirectives.html or https://sourceware.org/binutils/docs-2.34/as/RISC_002dV_002dFormats.html.

Deliverables:

1. Assembly language tests
2. Coverage models

Acceptance Criteria:

1. Assembly language tests that meet the TestFormatSpec
2. Coverage models using riscv-ctg YAML formatted schema Acceptance criteria
3. Tests pass using the riscof framework

Projected timeframe: TBD

SOW Signoffs:

• Task group liaison sign-off date:
• Development partner sign-off date:
• ACT SIG sign-off date (if ACT work):

Waiver

• Freeze
• Ratification

Pull Request Details

No response

[jjscheel]

@allenjbaum, I've put your information from your email into this new issue. Please feel free to make any edits you see fit.

Also, if you have a projected need date, we should add that too. (Yes, I recognize this is legacy and "yesterday" my not sound good.)

[allenjbaum]

This should be a good onboarding project