Text this: ASIC and FPGA Verification /