Text this: ASIC and FPGA verification :