From RTL Liveness Assertions to Cost-Effective Hardware Checkers | IEEE Conference Publication | IEEE Xplore