Chip design is at the core of consumer electronics: smart phones, tablets, computers, HDTV, networking, etc. It is a $300B market that has been following Moore’s Law for 40 years: double the transistors density every two years.

This exponential complexity growth is reaching the limit of conventional computing frameworks. A single logical simulation of a chip exceeds 20 CPU years. Physical verification, which checks that a chip meets strict manufacturability rules, is reaching 100 CPU years. Many of these simulations are needed throughout a chip design cycle.