SoC verification of Security x Safety aspects for memory programmed into secure and non-secure regions in Automotive devices