OneSpin Solutions' Raik Brinkmann, Dave Kelf Provide Industry Perspective to Newly Published Book on Formal Verification

SAN JOSE, CA -- (Marketwired) -- Sep 06, 2017 -- OneSpin® Solutions, provider of innovative formal verification solutions for highly reliable, digital integrated circuits (ICs), today announced that its Chief Executive Officer Dr. Raik Brinkmann and Dave Kelf, vice president of marketing, contributed a semiconductor industry perspective to Formal System Verification.

Springer Publishing's newly released book edited by Dr. Rolf Drechsler, professor of Computer Architecture at the University of Bremen in Bremen, Germany, provides readers with a comprehensive introduction to the formal verification of hardware and software. Dr. Drechsler noted that OneSpin's contribution detailed formal verification's growing rate of adoption: "The other four chapters highlight the variety of applications for formal, while Raik and Dave delve into what's changed to drive industrial adoption in modern design flows and demonstrate techniques in current industrial use. It's a practical and easy-to-read chapter that neatly ties the book's premise together."

The OneSpin chapter, "Formal Verification -- The Industrial Perspective," follows other chapters that cover "Formal Techniques for Verification and Coverage Analysis of Analog Systems"; "Verification of Incomplete Designs"; "Probabilistic Model Checking"; and "Software in a Hardware View."

"We welcomed the chance to offer OneSpin's perspective on why formal verification has become a 'must-have' technology within the semiconductor industry," remarks Dr. Brinkmann. "We talk with verification groups worldwide and formal verification is in almost every design flow -- or soon will be -- and we believe that we have a unique perspective on industry-wide trends."

The book can be purchased through Springer as an e-book, hardcover or printed e-book. For more information, visit: http://bit.ly/2ve4iuB.

About OneSpin Solutions
OneSpin Solutions has established itself as a leader in formal verification through a range of advanced electronic design automation (EDA) solutions for digital integrated circuits. Headquartered in Munich, Germany, OneSpin is passionate about enabling users to address design challenges in areas where reliability really counts: safety critical verification, SystemC/C++ high-level synthesis (HLS) code analysis and FPGA equivalence checking. OneSpin's advanced formal verification platform and dedication to getting it right the first time have fueled dramatic growth over the past four years as it forges partnerships with leading electronics suppliers to pursue design perfection. OneSpin: Making Electronics Reliable.

Engage with OneSpin at:
Website: www.OneSpin.com
Twitter: @OneSpinSolution
LinkedIn: https://www.linkedin.com/company/onespin-solutions
Facebook: https://www.facebook.com/OneSpinSolutions

OneSpin, OneSpin Solutions and the OneSpin logo are trademarks of OneSpin Solutions GmbH. All other trademarks are the property of their respective owners.

For more information, contact:
Nanette Collins
Public Relations for OneSpin Solutions
(617) 437-1822

Email Contact 


Featured Video
Jobs
Sr. Silicon Design Engineer for AMD at Santa Clara, California
Senior Platform Software Engineer, AI Server - GPU for Nvidia at Santa Clara, California
CAD Engineer for Nvidia at Santa Clara, California
GPU Design Verification Engineer for AMD at Santa Clara, California
Senior Firmware Architect - Server Manageability for Nvidia at Santa Clara, California
Design Verification Engineer for Blockwork IT at Milpitas, California
Upcoming Events
SEMICON Japan 2024 at Tokyo Big Sight Tokyo Japan - Dec 11 - 13, 2024
PDF Solutions AI Executive Conference at St. Regis Hotel San Francisco - Dec 12, 2024
DVCon U.S. 2025 at United States - Feb 24 - 27, 2025



© 2024 Internet Business Systems, Inc.
670 Aberdeen Way, Milpitas, CA 95035
+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