Millions to thousands issues through knowledge based SoC CDC verification | IEEE Conference Publication | IEEE Xplore