Efficient Automata-Based Assertion-Checker Synthesis of SEREs for Hardware Emulation | IEEE Conference Publication | IEEE Xplore