Startups
Verifaix
Develops AI-assisted chip verification software that translates specifications and RTL into test plans, assertions and testbenches, then checks them against a formal model to help engineers find design errors before fabrication.
Startups
Develops AI-assisted chip verification software that translates specifications and RTL into test plans, assertions and testbenches, then checks them against a formal model to help engineers find design errors before fabrication.