Robust Physical Layer IP Verification for DDR4-3DS Memory by Channel Modelling