New formal verification startup has been seen in EDA news - OneSpin Solutions GmbH. Company founded in 2005 by engineers previously with Infineon Technologies AG and Siemens AG. The company currently offers two solutions - OneSpin 360™ Module Verifier (MV) and OneSpin 360™ Equivalence Checker (EC). The tools which share a common technolog - FormalDoublePass™, which achieves true functional sign off by means of a four-phase design flow:
- Verification Planning
- Design Conditioning
- Single Property Development
- Complete Property Set Development
360MV enables the verification of functional compliance between the transaction and register transfer (RT) levels. The tool has been used to verify the design of a protocol processor, by Infineon’s communications division and 360MV required about 40 percent less total verification effort than a previous, simulation-based project.
Visit company website for more info:
OpenSpin Solutions
No comments:
Post a Comment