Hardware-software debugging techniques for reconfigurable systems-on-chip | IEEE Conference Publication | IEEE Xplore