close By using this website, you agree to the use of cookies. Detailed information on the use of cookies on this website can be obtained on OneSpin's Privacy Policy. At this point you may also object to the use of cookies and adjust the browser settings accordingly.

OneSpin Solutions, Agnisys Sign Multi-Year OEM Agreement

Apps Model Links Formal Verification Platform to Automatic Register Verification Software

LOWELL, MASS., and SAN JOSE, CALIF. –– May 21, 2015 –– OneSpin Solutions™ and Agnisys Inc. today signed a multi-year original equipment manufacturer (OEM) agreement, whereby Agnisys will integrate OneSpin 360 LaunchPad™, the company’s new Adaptive Formal Platform, into its ARV-Formal™ 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, Agnisys at Design Automation Conference

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: www.dac.com

About Agnisys

Agnisys Inc. 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: info@agnisys.com The website address is: www.agnisys.com

About OneSpin Solutions

Electronic design automation (EDA) supplier OneSpin Solutions 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: info@onespin.com Website: www.onespin.com

###

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.

Back