Symbol: EFMD_HDL_PROP