Synopsys unveiled a new formal app, Regression Mode Accelerator, which uses machine learning algorithms to speed up formal property verification, as well as better convergence of formal proofs for subsequent runs. According to Synopsys, the app also allows for significant saving of compute resources in nightly regressions.
Hitachi used OneSpin Solutions' 360 EC product family to verify vCOSS...
» read more
