Dispatches from Boston
Boston-based Nanette Collins is the 2013 recipient of the Marie R. Pistilli Women in EDA Achievement Award, presented annually to an individual who has helped advance women in the EDA industry. She started Nanette V. Collins Marketing and Public Relations in 1994 after working as director of … More »
OneSpin Reaches for the Cloud
June 1st, 2013 by Nanette Collins
As the 50th Design Automation Conference opens, attendees rushing through the doors early Monday may have their heads in a Cloud. Cloud computing that is, and heading straight toward Booth #846.
That’s because OneSpin Solutions in Booth #846 figured out the gnarly security problem that’s prevented more widespread adoption of the Cloud in EDA and the semiconductor industry. The need for proprietary design code to leave the office has been eliminated.
Briefly, OneSpin’s technology analyzes the design code locally and only transmits an encrypted mathematical abstraction of the verification problem with all the descriptive details stripped away. After processing, results are returned to the local machine and the descriptive details are reapplied. No data is retained in the Cloud. Functionality is provided by OneSpin’s formal verification tools, 360 DV-Inspect and 360 DV-Verify, and is meant to be simple to use and easy to adopt in a flow.
Let’s not focus too heavily on the OneSpin Cloud Strategy, though it’s an important breakthrough. Instead, I invite you to stop by its DAC Booth #846 to see for yourself and, if you’re interested, sign up to become a Beta user. Approved project teams will be able to access cloud servers at no charge, less a minimal charge to OneSpin Cloud System host Amazon Web Services (AWS) Marketplace, until August 30.
A Spin Around OneSpin Solutions
With a nifty Cloud Strategy and so much more, OneSpin Solutions is executing on its lofty goal: A commitment to produce software that verifies the chip works as intended and is ready for tapeout in just one spin.
While 2012 is only a distant memory, it’s worth noting that OneSpin had double-digit growth that year, remarkable given the complete change in direction implemented mid-year. Readers who follow OneSpin may have lost sight of this entrepreneurial company’s progress last year. That’s because it took a lower profile to reassess the verification space.
Since then, OneSpin’s CEO Dr. Raik Brinkmann notes that adoption of its formal ABV tools for both ASIC and FPGA designs is way, way up. The tools are used to verify designs in markets that range from telecommunications and automotive to consumer electronics and embedded systems. In fact, OneSpin signed a large deal with a major semiconductor company in mid-May. Kudos all around!
Raik claims that design teams need formal verification more than ever because of chip complexity, smaller teams, faster turnaround time required to meet market conditions and on and on it goes. Finding the opportunities requires a senior executive to build a solid, worldwide sales and support team. And, that’s just what OneSpin did with the recent appointment of Jim Cantele to the position of vice president of worldwide sales. Jim’s a popular and seasoned sales executive with technical knowledge and a skill for relationship building. “He has an impressive track record and the essential skills we’re looking for as we gain momentum and grow our business,” remarks Raik.
Raik and another co-founder Dominik Strasser assumed management positions as part of the transition last July. Dominik is now vice president of engineering. Oliver Habeck is chief financial officer. Dave Kelf, another well-known and popular EDA executive, is serving as director of marketing and rounds out the executive team with Raik, Dominik, Oliver and Jim.
Part of the transformation of OneSpin was developing a new business strategy and a focused approach to providing enduring solutions that enable the most thorough and easiest-to-use commercial logic verification software. Formal verification technology combined with simulation significantly reduces the effort required to verify designs, while having a dramatic effect on bug discovery in complex operational scenarios. These tools are considered hard to use and require significant compute resources and runtime, raising barriers to mainstream adoption. According to Raik, OneSpin already offers the best ROI for formal verification and the easiest tools to learn to use. Now, it’s a matter of letting verification engineers and design teams in on this.
The reconstituted team produced a roadmap that streamlined the existing product lines to focus on tool solutions and devised a plan for additional verification products that’s being unveiled throughout 2013.
Ah, readers are wondering about capitalization, for software development doesn’t come free. OneSpin secured a round of funding from Azini Capital to grow the business and implement the new strategy. Azini Capital is a believer –– it likes the new strategy and the professionalism of the team.
This funding allowed OneSpin to put a foot on the gas. It was able to increase the size of its engineering team and hire additional sales managers and application engineers in North America and Europe, including new distributors in Eastern Europe and Israel. Corporate headquarters was moved to another, larger location in Germany and a new office was opened in Santa Clara, Calif.
In April, it rolled out Spinnaker Certified Service Partners Program, a service partners program to ensure a broad range of service expertise to meet a variety of verification needs. Inaugural members are Methods2Business, Oski Technology, Syosil, Terastatic and Test and Verification Solutions (TVS), all certified to offer services using either the OneSpin 360 EC or the 360 DV Product Families. Each is trained and certified to offer services using OneSpin’s design verification or equivalence checking software. Member partners are then able to use its formal verification solutions in their customer engagements with the full support of OneSpin’s technical staff.
To all those EDACafe readers at this year’s DAC: Keep your heads in the Cloud and proceed to the OneSpin Booth #846. This is one company with its head in the Cloud and feet firmly planted in formal verification.