Sub-category 11.1
EDA Software (Front-End: Design & Verification)
Simulators, formal verification, logic synthesis. Where the chip is born.
Players
Players: Synopsys SNPS, Cadence Design Systems CDNS, Siemens EDA (Mentor) SIE.DE, Ansys SNPS (acquired by Synopsys)
Analysis coming soon — this page is scaffolding for deeper research into eda software (front-end: design & verification).