At the same time as the number of transistors on your average chip doubles every 18 months, the verification cycle has shrunk from 18 to 12 months, which in the near future will become as low as six ...