MEDIA ALERT: OneSpin Solutions to Feature New Adaptive Formal Application, Formal Fault Qualification Analysis for Safety Critical Systems at DAC

 

Daily Presentations from Partners, Formal and Industry Experts in OneSpin’s Theater;

Dr. Raik Brinkmann to Participate in Panel Discussion on IP Verification, Validation

SAN JOSE, CALIF. –– June 4, 2015 –– (reminder June 8)

WHO: OneSpin® Solutions, provider of innovative formal verification solutions targeting a broad range of challenging verification problems

WHAT: Will exhibit at the 52nd Design Automation Conference (DAC) in Booth #3126, showcasing its new OneSpin 360 LaunchPad™, an adaptive formal technology platform, and OneSpin 360 Qualify™, formal fault qualification analysis for safety critical systems. Demonstrations of its entire formal verification product portfolio will be available publicly and in OneSpin’s suites by appointment.

WHEN: Monday, June 8, and Tuesday, June 9, from 10 a.m. until 7 p.m. and Wednesday, June 10, from 10 a.m. until 6 p.m.

WHERE: Moscone Center, San Francisco

A series of presentations in the OneSpin Theater from formal experts and partners, including Agnisys, IPExtreme, Methods to Business, Oski Technology, Tortuga Logic and TVS, will be held daily. Theater presentations conclude with an interview of Dr. Raik Brinkmann, OneSpin’s chief executive officer, by Jim Hogan, managing partner of Vista Ventures. For a complete listing of presentations, go to: http://bit.ly/1eNEQAO

Dr. Brinkmann will participate in a panel discussion titled, “Key Challenges of Verification and Validation of Modern Semiconductor IP,” Tuesday, June 9, from 11:30 a.m. until noon in Room 101. Moderated by Brian Bailey of Semiconductor Engineering, panelists will discuss key challenges to verify and validate semiconductor devices.

For more information about OneSpin Solutions or to register for a demonstration, visit: www.onespin-solutions.com

DAC’s website is found at: www.dac.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

###

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                                                     Annette Bley
Public Relations for OneSpin Solutions               Public Relations for OneSpin Solutions
(617) 437-1822                                                     +44 (0)20 7482 4800
Email Contact                                                 Email Contact

 




Review Article Be the first to review this article

Featured Video
Editorial
More Editorial  
Jobs
Technical Support Engineer for EDA Careers at Freemont, CA
ASIC/FPGA Design Engineer for Palo Alto Networks at Santa Clara, CA
Lead Java Platform Engineer IOT-WEB for EDA Careers at San Francisco Area, CA
Mechanical Designer/Engineer for Palo Alto Networks at Santa Clara, CA
Technical Support Engineer EU/Germany/UK for EDA Careers at N/A, United Kingdom
Staff Software Engineer - (170059) for brocade at San Jose, CA
Upcoming Events
Zuken Innovation World 2017 at Hilton Head Marriott Resort & Spa Hilton Head Island NC - Apr 24 - 26, 2017
2017 SEMICON Southeast Asia at SPICE Arena Penang Malaysia - Apr 25 - 27, 2017
EDI CON China 2017! at Shanghai Convention & Exhibition Center of International Sourcing (SHCEC) No.2739 West Guangfu Road Putuo District, Shanghai (200062) China - Apr 25 - 27, 2017
2017 IoT Developers Conference at Santa Clara Convention Center California - Apr 26 - 27, 2017
DAC2017



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