“Partnering with OneSpin will offer great leverage for both companies, especially since TVS has more than 70 verification engineers worldwide,” concludes Dr. Mike Bartley, CEO and founder of TVS. “Under the Spinnaker program, we’ll be able to combine our expertise in mixed static-dynamic verification environments with OneSpin’s formal verification technology and knowledge to bring much needed, comprehensive verification solutions to a wider community.”

The full press release is here.

The TVS asureSIGN™ tool allows the user to combine dynamic and static verification data into a single view