@article{DBLP:journals/dt/ChenHPML99,
author = {Xiao-Tao Chen and
Wei-Kang Huang and
Nohpill Park and
Fred J. Meyer and
Fabrizio Lombardi},
title = {Design Verification of FPGA Implementations},
journal = {IEEE Design {\&} Test of Computers},
volume = {16},
number = {2},
year = {1999},
pages = {66-73},
ee = {http://doi.ieeecomputersociety.org/10.1109/54.765205},
bibsource = {DBLP, http://dblp.uni-trier.de}
}