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.