IBM Logo
IBM Research Lab in Haifa
Hot Shots  
FV Research in HRL  

Download the presentation

Bob Kurshan

Bell Labs


Notes on Technology Transfer

A great algorithm does not make a great tool, and a great tool does not make a great technology if it is not deployed. Sometimes transferability is at odds with flexibility and computational power, in which case a suitable balance must be found.

I will describe the key events that enabled the transfer of the COSPAN model-checker, a research tool, into the commercial IC verification tool FormalCheck. Recently FormalCheck was licensed to Cadence, which now supports and deploys the tool. I will describe the lessons learned through this ten-year technology transfer exercise.