A practice of ESL verification methodology from SystemC to FPGA: using EPC class-1 generation-2 RFID tag design as an example. - W. M. Young; Chua-Huang Huang; Alan P. Su; Chewnpu Jou; Fu-Lung Hsueh (ASP-DAC, 2010)