“Will it Blend?” – A Methodology for Verifying the Hardware/Software Interface in Complex SoCs