Concurrent hardware/software coverification with Java threads | IEEE Conference Publication | IEEE Xplore