Interface based hardware/software validation of a system-on-chip | IEEE Conference Publication | IEEE Xplore