Create HA_Behavioural.v