Si-emulation: system verification using simulation and emulation | IEEE Conference Publication | IEEE Xplore