N. Mohamad, C. Yee Ooi, J. Teh, N. Paraman, H. Hassan, and N. Ismail, “FPGA-Assisted Assertion-Based Verification Platform”, JTEC, vol. 12, no. 1, pp. 15–24, Mar. 2020.