RVFI trace not going to its own file, inserted into Indago SmartLog

Created by: strichmo

Component

Component:Other

The tracer in the RVFI (cv32e40x_rvfi_trace.svh) is emitting $fwrite calls with a filehandle of x. There should either be a proper file opened for this or a switch added to enable/disable rvfi tracing.

Steps to Reproduce

Run any test. In the debugger you should be able to see that the $fwrite calls are using an X filehandle.

You can also run Indago post-processing mode. In SmartLog, the stdout message contains these extra RVFI trace messages. Ideally these should be in their own file for easier filtering.