file hazard3_dm.v