“Verification cases and procedure for IP-core development ”, IJERAT, vol. 4, no. 6, pp. 16–28, Jun. 2018, doi: 10.31695/IJERAT.2018.3279.