OneSpin Solutions' Raik Brinkmann, Dave Kelf Provide Industry Perspective to Newly Published Book on Formal Verification
SAN JOSE, CA--(Marketwired - Sep 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, …