A unified GDB-based source-transaction level SW/HW co-debugging | IEEE Conference Publication | IEEE Xplore