Synthesizable assertion checkers in high levels of abstraction | IEEE Conference Publication | IEEE Xplore