Embedded systems verification with FGPA-enhanced in-circuit emulator | IEEE Conference Publication | IEEE Xplore