Coverage Management with Inline Assertions and Formal Test Points | IEEE Conference Publication | IEEE Xplore