Towards Accelerating Assertion Coverage Using Surrogate Logic Models | IEEE Conference Publication | IEEE Xplore