TY - SER AU - Chen, Xiao-Tao AU - Huang, Wei-Kang AU - Park, Nohpill AU - J.Meyer, Fred TI - Design Verification of Fpga Implementations KW - Design & Test of Computers KW - Design Verification ER -