pd/synth/Makefile: Enable RVFI_MEM support at gate level. (!1113) · Merge requests · OpenHW Group / backup-20241120 / cva6

Eclipse Webmaster requested to merge github/fork/zchamski/pr/enable-rvfi-mem-in-gate-synth into master Mar 12, 2023

Created by: zchamski

This PR enables the synthesis of RVFI_MEM support which was missing in gate synthesis configuration. As a consequence, the RVFI tracer module could not see memory-related events when attached to gate-level models.

pd/synth/Makefile: Enable RVFI_MEM support at gate level.

Merge request reports