A hardware and software monitor for high-level system-on-chip verification | IEEE Conference Publication | IEEE Xplore