Create address_check.v