SVA checker generator for FPGA-based verification platform. - Nurita Mohamad; Chia Yee Ooi; Nordinah Bt Ismail; Jwing Teh (ISCAS, 2016)