Dynamic Verification of OCP-based SoC | IEEE Conference Publication | IEEE Xplore