Enhancing the Testability of RTL Designs Using Efficiently Synthesized Assertions | IEEE Conference Publication | IEEE Xplore