ASIC-Strength Verification in a Fast-Moving FPGA World