Symbolic simulation as a simplifying strategy for SoC verification | IEEE Conference Publication | IEEE Xplore