SoC verification platforms using HW emulation and co-modeling Testbench technologies | IEEE Conference Publication | IEEE Xplore