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’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

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: 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




Review Article Be the first to review this article
Featured Video
Editorial
More Editorial  
Jobs
Test Development Engineer(Job Number: 17001697) for Global Foundaries at Santa Clara, CA
Lead Java Platform Engineer IOT-WEB for EDA Careers at San Francisco Area, CA
ASIC Design Engineer for Ambarella at Santa Clara, CA
Timing Design Engineer(Job Number: 17001757) for Global Foundaries at Santa Clara, CA
Senior FPGA Designer for Fidus Electronic Product Development at Fremont, CA
Verification Engineer for Ambarella at Santa Clara, CA
Upcoming Events
CDNLive Silicon Valley 2017 at Santa Clara Convention Center Santa Clara CA - Apr 11 - 12, 2017
10th Anniversary of Cyber-Physical Systems Week at Pittsburgh, PA, USA PA - Apr 18 - 21, 2017
DVCon 2017 China, April 19, 2017, Parkyard Hotel Shanghai, China at Parkyard Hotel Shanghai Shanghai China - Apr 19, 2017
Zuken Innovation World 2017 at Hilton Head Marriott Resort & Spa Hilton Head Island NC - Apr 24 - 26, 2017
S2C: FPGA Base prototyping- Download white paper



Internet Business Systems © 2017 Internet Business Systems, Inc.
595 Millich Dr., Suite 216, Campbell, CA 95008
+1 (408)-337-6870 — Contact Us, or visit our other sites:
AECCafe - Architectural Design and Engineering TechJobsCafe - Technical Jobs and Resumes GISCafe - Geographical Information Services  MCADCafe - Mechanical Design and Engineering ShareCG - Share Computer Graphic (CG) Animation, 3D Art and 3D Models
  Privacy Policy