RVFI - Correcting issue on trace log generation from rvfi

openhwgroup / cv32e40p

CV32E40P is an in-order 4-stage RISC-V RV32IMFCXpulp CPU based on RI5CY from PULP-Platform

Other

900 stars 399 forks source link

Closed YoannPruvost closed 3 months ago

YoannPruvost commented 3 months ago

This PR improves the log file created from the RVFI interface It does not modify the RVFI behaviour