file tb.v
file ../common/ahbl_slave_assumptions.v
list $HDL/hazard3.f
include .