NICFlex: A Functional Verification Accelerator for An RTL NIC Design | IEEE Conference Publication | IEEE Xplore