Coverage closure in SoC verification: Are we chasing a mirage? | IEEE Conference Publication | IEEE Xplore