Overview

Claire Wolf is identified in the available evidence as the person who specified the RISC-V Formal Interface (RVFI). RVFI is described as an existing trace format for formal verification using symbolic instructions.

Technical contribution: RISC-V Formal Interface

The RISC-V Formal Interface exposes selected architecturally significant signals from an implementation. The cited TestRIG paper lists examples including instruction encodings, memory addresses and values, and operand and writeback register indices and values.

RVFI is used as a trace-output interface in verification workflows. In the TestRIG architecture described by the source, RVFI is extended with Direct Instruction Injection (DII): DII provides instruction input, while RVFI provides trace output. Together, RVFI-DII supports interactive verification.

Implementation role in verification systems

The cited source explains that an RVFI interface may export internal signals from an RTL design, or internal variables from a simulator or emulator. For more complex designs such as pipelined or superscalar microarchitectures, implementing RVFI may require preserving state until a commit or write-back stage so that the correct values can be reported.

Significance

Within the evidence provided, Claire Wolf's named contribution is the specification of RVFI, which serves as a formal-verification trace format and a basis for later RVFI-DII verification infrastructure.