OneSpin Solutions
Overview
Company Overview
OneSpin Solutions targets the most difficult verification challenges and provides focused, complete (product & service) solutions based on their advanced formal verification technology. As the only company focused on formal, its expert R&D and AE teams have successfully solved the toughest next-generation verification challenges, including advanced FPGA design flows from MicroSemi, and safety-critical verification solutions.
OneSpin Solutions markets its products globally through direct channels and distributors. Offices with expert application engineering teams are maintained in San Jose, CA, Munich, Germany, and Yokohama, Japan. It has also partnered with sales and support organizations in Seoul, S. Korea, Beijing, China, Bracknell, UK, Munich Germany, Paris, France, and Netanya, Israel.
OneSpin Brief
• Provides software tools that allow engineers to create bug-free digital integrated circuits
• Targets critical hardware verification challenges with leading-edge formal technology
• Founded in 2005, showing substantial growth, backed by Azini Capital, London
• Headquartered in Germany, offices around the globe, with more than thirty employees
Verification of FPGA implementations for functional confidence with schedule and QoR improvements
FPGAs make use of a static hardware matrix, where the ratio of registers to inter-register logic is somewhat fixed. To drive the highest quality designs, state-of-the-art automated design flows, leveraging aggressive optimizations are employed. The combination of these optimizations on a varied range of Register Transfer Level (RTL) code styles can lead to the introduction of “systematic” errors. These errors can occur in unexpected ways, are often time consuming to detect, and potentially destructive. OneSpin’s FPGA Implementation Verification Solution prevents these problems by applying formal verification to FPGA synthesis. This allows for the highest confidence in design operation, while also improving the development schedule and QoR. This is particularly important in safety related applications such as Aeronautical, Automotive and similar design flows. OneSpin has specialized in these applications.
Applying OneSpin’s FPGA Implementation Verification solution provides the following benefits:
- Confidence that all systematic issues have been eliminated, accelerating the test and debug process
- Elimination of complex test creation or the need to predict systematic error fault conditions.
- Confidence that no systematic-based corner case bugs exist in the final design, increasing reliability
- Leveraging the most aggressive FPGA synthesis optimizations available, leading to power, speed and utilization improvements.
More Information:
https://www.onespin.com/company/company-overview/
https://www.onespin.com/solutions/fpga-implementation-verification/
Product Page: 360 EC-FPGA
Microsemi and OneSpin Solutions Target High-reliability Design Verification with Formal-based FPGA Equivalence Checking Solution
Contact Information
U.S.A.
OneSpin Solutions
4820 Harwood Road, #250,
San Jose, CA 95124
USA
Tel: +1 408 734 1900
Germany
OneSpin Solutions GmbH
Nymphenburger Straße 20a
80335 Munich
Germany
Tel: +49 89 99013 0
Fax: +49 89 99013 400