| Jasper Design Automation, formerly Tempus Fugit, was founded in 1999 and is a privately funded Electronic Design Automation (EDA) company with its corporate headquarters located in Mountain View, California. Based on true formal functional verification, the company's breakthrough PreCognitive Formal Verification Technology(TM) begins at the spec-level to deliver 100% exhaustive design requirement proof for today's ultra complex Integrated Circuits. |