A practice of ESL verification methodology from SystemC to FPGA - using EPC Class-1 Generation-2 RFID tag design as an example | IEEE Conference Publication | IEEE Xplore