file hazard3_rvfi_wrapper.v
include .
file $PROJ_ROOT/test/formal/common/ahbl_slave_assumptions.v
list $HDL/hazard3.f