STMicroelectronics
Provides User Requirements and Testcases

TransEDA
Provides tool integration Platform. EDA deployment

AerieLogic
Provides expertise in Formal and ABV

University of Southampton
Provides techniques & tools in SAT

University of Verona
Provides techniques & tools for TLM verification and coverage

Linkopings Universitet
Provides design and verification techniques based on Petri nets

Tallinn University of Technology
Provides techniques & tools for HLDD