Search results

Verification output format: Fact decode, CSV, trace

Status: Open.

#21 In ssccsorg/ev;

· metasmile opened on Jun 11, 2026

Conditional field activation: field enable masks for CUS_NOP

Status: Open.

#20 In ssccsorg/ev;

· metasmile opened on Jun 11, 2026

CVA6 fixture RTL cross-check: align with actual cvxif_custom_instr.sv

Status: Open.

#19 In ssccsorg/ev;

· metasmile opened on Jun 11, 2026

LLM interpretation: --interpret flag for failure explanation

Status: Open.

#18 In ssccsorg/ev;

· metasmile opened on Jun 11, 2026

R4 format support: func2 field axis for ADD_RS3

Status: Open.

#17 In ssccsorg/ev;

· metasmile opened on Jun 11, 2026

Phase 2: Spike simulation backend and CVA6 XIF exhaustive verification

Status: Open.

#13 In ssccsorg/ev;

· metasmile opened on Jun 1, 2026

Verification result output and LLM interpretation

Status: Open.

#12 In ssccsorg/ev;

· metasmile opened on Jun 1, 2026

Spike CI pipeline integration

Status: Open.

#11 In ssccsorg/ev;

· metasmile opened on Jun 1, 2026

Conditional field activation and R4 opcode support

Status: Open.

#10 In ssccsorg/ev;

· metasmile opened on Jun 1, 2026

Target real RISC-V cores for exhaustive XIF verification

enhancementNew feature or requestNew feature or request

verification

Status: Open.

#7 In ssccsorg/ev;

· metasmile opened on May 29, 2026

channel demo BROAD golden anchor mismatch: expected REJECT for no-constraint segment

Status: Open.

#6 In ssccsorg/ev;

· metasmile opened on May 27, 2026