Partners

CadenceTVS is proud to be a member of the Cadence Verification Alliance.

 

Mentor GraphicsTVS is proud to be a member of the Questa Vanguard Program.

 

Aldec - The Design Verification CompanyTVS is a member of Aldec’s Unite Partner Program, allowing our customers to leverage asureVIP™ with assurance of compliance within Aldec’s advanced verification platform, Riviera-PRO™. Aldec’s customers mutually benefit with access to the TVS VIP library and the TVS VIP development program.

NMITVS works as an advisor to the NMI on Verification.

 

Jasper design automation

 

 

 

 Doulos

 

 

 

OneSpin Solutions is a pioneer of advanced formal verification technologies. Incubated at Infineon, and leveraging 100s of engineering years of development and applications experience, its product line includes plug & play design analysis requiring minimal formal verification knowledge, to powerful, exhaustive coverage    driven property verification. Excelling in ease-of-use, high performance and accessibility, the company’s solutions have been leveraged on numerous leading designs worldwide.

HiPEAC Compilation Architecture

TVS is proud to be a member of HiPEAC (the “European Network of Excellence on High Performance and Embedded Architecture and Compilation”) with the following mission:

 

  • steer and increase the European research in the area of high-performance and embedded computing systems.
  •  stimulate cooperation between 1) academia and industry 2) computer architects and tool builders

 

Breker - The SoC Verification CompanyTVS and Breker work together for the benefits of mutual customers who need to verify large, complex system-on-chip (SoC) designs more efficiently and more effective

Breker Verification Systems Adds Support for Multi-Processor SoCs