I'm busy...

Currently I'm busy and don't have enough free time to take care of blog. Will continue posts later...

OneSpin Solutions

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