Knowledge Center ➜ Entities

Tempus Fugit, Inc.

Formal verification cmpany that became Jasper Design Automation


Tempus Fugit, Latin for “time flies was renamed to Jasper Design Automation in 2003.
Founded by Vigyan Singhal in 1999

The company started life as a bug finding company, using tools they developed. Their pitch was that they would be paid if they found bugs in a design. This allowed them to bootstrap the company and develop the tools without having to worry about useability in the early days.