TeraStatic is an Italian start-up founded by Sergio Marchese, a functional verification engineer with 8 years of work experience in blue-chip and EDA companies, and specialised in RTL functional verification using Formal Methods.

 

Formal Verification has long been seen as an promising potential help to solve today’s tough verification problems. Substantial investments have been done in this field with a number of EDA start-ups continuously providing innovative and ever more powerful Formal Verfication tools. Unfortunately advanced usage of these tools requires specialised expertise that is hardly available in the industry and difficult to build within the structure of simulation-based verification teams. Although many companies, under pressure for keeping market competitiveness, are investing to integrate Formal Verification within their design flows, the full power of this technology is still on a leash.

 

Our mission is to support semiconductor companies to immediately exploit the full power of Formal Verification tools and to organically grow in-house expertise within their existing organisations and design flows.

Copyrights © 2008 TeraStatic s. r. l.  - All Rights Reserved.