FPGA Design and Verification