Hardware-software co-verification in an undergraduate laboratory | IEEE Conference Publication | IEEE Xplore