2026-07-24

Synopsys

Synopsys seems to heavily use AI to generate assertions.

https://investor.synopsys.com/news/news-details/2025/Synopsys-Announces-Expanding-AI-Capabilities-for-its-Leading-EDA-Solutions/default.aspx

https://www.synopsys.com/blogs/chip-design/synopsys-ai-copilots-chip-design.html