Mohamad, N.; Yee Ooi, C.; Teh, J.; Paraman, N.; Hassan, H.; Ismail, N. FPGA-Assisted Assertion-Based Verification Platform. JTEC 2020, 12, 15-24.