Formal engines learn from experience
Cadence and OneSpin are applying various forms of machine learning to their tools to automate formal verification.
AI for EDA
EDA learns to love AI
Machine learning is gradually moving into implementation and verification tools for EDA.