But to increase adoption, formal tools have to lower barriers and make it possible for a wider group of people to be able to deploy successfully. LLMs may help.
While everybody seems to agree that AI will disrupt semiconductor design and EDA tools, nobody has yet suggested what a disrupted flow would actually look like.
The evolution of verification may have slowed down, but the industry is hitting a tipping point that will drive some major changes. Can verification get ahead of the problem?
IP can no longer be developed and verified outside of the context of the system in which it is expected to operate — unless we develop new verification methodologies.
Design complexity may be growing faster than verification tools and methodologies are evolving. This is resulting in increased delays for chip success.
Does the world need another CPU architecture when that no longer reflects the typical workload? Perhaps not, but it may need a bridge to get to where it needs to be.