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:

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:

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:

Review Article Be the first to review this article

Featured Video
Principle Electronic Design Engr for Cypress Semiconductor at San Jose, California
Senior Electrical Engineer for Allen & Shariff Corporation at Pittsburgh, Pennsylvania
Design Verification Engineer for intersil at Morrisville, North Carolina
Applications Engineer for intersil at Palm Bay, Florida
Upcoming Events
NVIDIA’s GPU Technology Conference (GTC) at San Jose McEnery Convention Center 150 West San Carlos Street San Jose CA - Mar 26 - 29, 2018
ESC Conference Boston at boston MA - Apr 18 - 19, 2018
IEEE Women in Engineering International Leadership Conference at 150 W San Carlos St San Jose CA - May 21 - 22, 2018
DownStream: Solutions for Post Processing PCB Designs

Internet Business Systems © 2018 Internet Business Systems, Inc.
25 North 14th Steet, Suite 710, San Jose, CA 95112
+1 (408) 882-6554 — 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 PolicyAdvertise