Synopsys SpyGlass
Synopsys SpyGlass is an RTL static verification and signoff toolset that performs linting, CDC/RDC checks and RTL-level power analysis to identify structural and selected functional issues early in the semiconductor design flow.
Est 1986|Raised $2.1B