AI for EDA

Cadence and OneSpin are applying various forms of machine learning to their tools to automate formal verification.

Machine learning is gradually moving into implementation and verification tools for EDA.