OneSpin says its VLSI design tool on cloud is secure

VLSI software expert OneSpin Solutions is offering its EDA tools over Cloud Computing system. OneSpin says it has solved the security worry by leveraging the operational nature inherent in OneSpin’s Formal Verification (FV) software. The end product is simple to use, easy to adopt in a flow and has significant verification performance implications. No upfront investment is required to use the tools, made available on a pay-per-use basis. “The EDA industry reached for the Cloud before, but this is the first solution that assures design security,” says Dr. Raik Brinkmann, OneSpin Solutions’ president and chief executive officer. “Users with no formal verification knowledge can simply plug-in the technology and receive an instant, significant verification impact. This business model has implications right across the EDA industry.” The functionality of OneSpin’s 360 DV-Inspect and 360 DV-Verify products, as well as additional prove engines for parallel processing, have been made available Amazon Web Services (AWS) Marketplace. OneSpin says application in a simulation-only environment is an easy plug-and-play operation requiring no formal verification knowledge. A free local client is downloaded and interacts with the cloud server for transparent, secure operation. Powerful 360 DV-Inspect design checks for a broad range of issues are automatically generated and run secur...