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: