The Verification Effort


Could it be that 50 percent of your system-on-chip (SOC) verification effort will be in formal verification? Let me begin by answering this question by asking a counter question: Is there a feasible alternative?

Most of the SOC designs today have at least three or four processors. There are other complex high-speed serial buses such as USB OTG (On the Go) and PCIe as well as slower buses like I2C and SPI. There are also audio and video interfaces and numerous memory interfaces. More…