Ask a question related to Ibex

[twyayaya]

Hello, I have a question about RVFI (RISC-V Formal Interface).
If I just want to monitor RVFI signals or let RVFI signals output to other modules and without creating a text file, do I only need to `define RVFI in ibex_top.sv?
Is it unnecessary to use ibex_top_tracing.sv and ibex_tracer.sv?

My Environment

EDA tool and version:

Vivado 2020.2

Operating system:

Ubuntu Linux 18.04

Version of the Ibex source code: