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’sLaunchPad™, OneSpin’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. RaikBrinkmann, 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,” remarksAnupamBakshi, president and CEO of Agnisys. “OneSpin’sLaunchPadoffering 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
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: Email ContactThe 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: Email Contact Website: www.onespin-solutions.com