Formal verification-tool start-up Jasper Design Automation is offering a free tool to help IC-verification teams generate and track verification plans. Craig Cochran, vice president of marketing at ...