LOWELL, MA and SAN JOSE, CA — (Marketwired) — 05/21/15 — and , today signed a multi-year original equipment manufacturer (OEM) agreement, whereby Agnisys will integrate OneSpin–s LaunchPad, OneSpin–s new adaptive formal platform, into its automatic register verification software.
Introduced today by OneSpin Solutions, LaunchPad gives third-party suppliers a way to embed its formal verification software into their products, or “apps.” (See separate news release titled “OneSpin Solutions Catalyzes Unique, Third-Party Verification Solutions by Delivering OneSpin 360 LaunchPad, First Adaptive Formal Platform.”)
Agnisys, under terms of the agreement, will market, license and sell LaunchPad as part of its ARV-Formal using a business model of its choice, create LaunchPad licenses and to provide basic support. OneSpin will provide in-depth formal support where needed. OneSpin, provider of innovative formal verification solutions targeting a broad range of challenging verification problems, will reference sell Agnisys– ARV-Formal software as a third-party app in the OneSpin Apps Library.
“Agnisys has made the commitment to make design and verification teams more efficient,” says Dr. Raik Brinkmann, OneSpin Solutions– president and chief executive officer (CEO). “Delivering automatic register verification and formal verification software will enhance its efficiency even more.”
“We–re delighted to be working with OneSpin, the leader and innovator in formal verification,” remarks Anupam Bakshi, president and CEO of Agnisys. “OneSpin–s LaunchPad offering has the potential to open new markets to formal verification.”
OneSpin Solutions and Agnisys will exhibit at the 52nd Design Automation Conference (DAC) in Booths #3126 and #2509, respectively, and demonstrate the formal apps for systems realization. DAC will be held June 8-10 at the Moscone Center in San Francisco. Information about DAC can be found at:
is an innovative pioneer delivering unique systems realization software and Verification Plan Specifications. Located in Lowell, Mass., it is privately held, self-funded and profitable. Email: The website address is:
Electronic design automation (EDA) supplier award-winning formal verification technology is based on more than 300 engineering years of development and application service experience. OneSpin–s comprehensive product line simplifies designer verification, increases intensive block verification coverage, eliminates design refinement problems, and provides automated solutions for many complex verification problems. Leading telecommunications, automotive, consumer electronics and embedded systems companies rely on OneSpin to achieve the highest possible verification quality while reducing their time-to-market pressures. Its United States headquarters is located in San Jose, Calif. Corporate headquarters is in Munich, Germany. Email: Website:
ARV-Formal is a trademark of Agnisys Inc. OneSpin, OneSpin Solutions, OneSpin 360, the OneSpin logo and GapFreeVerification are trademarks of OneSpin Solutions GmbH. All other trademarks are the property of their respective owners.
For more information, contact:
Nanette Collins
Public Relations for OneSpin Solutions
(617) 437-1822
Annette Bley
Public Relations for OneSpin Solutions
+44 (0)20 7482 4800
Sameer Rahurkar
Marketing Coordinator for Agnisys
(408) 785 0674
You must be logged in to post a comment Login