Analog Modelling to Suit Emulation for Hardware-Software Co-Verification