VALID: custom ASIC verification and FPGA education platform | IEEE Conference Publication | IEEE Xplore