Tortuga Logic

Developing a security assurance standard for IP faces numerous problems but Accellera working-group members are trying to find an answer.

Formal-verification specialist OneSpin is setting up its own equivalent of an app store, building on top of a formal engine the company now licenses to other companies.

Startup Tortuga Logic has developed a toolkit for checking the security aspects of SoC hardware designs.