close By using this website, you agree to the use of cookies. Detailed information on the use of cookies on this website can be obtained on OneSpin's Privacy Policy. At this point you may also object to the use of cookies and adjust the browser settings accordingly.

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

Formal System Verification Covers State-of-the-Art, Future Trends in Formal Verification

SAN JOSE, CALIF. – September 6, 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:

About OneSpin Solutions

OneSpin Solutions has emerged 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 enables 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 five years as the company forges partnerships with leading electronics suppliers to pursue design perfection. OneSpin: Making Electronics Reliable.

Engage with OneSpin at:
Twitter: @OneSpinSolution 

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 
(617) 437-1822