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

September 06, 2017

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

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 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:


Twitter: @OneSpinSolution