TNI and Valiosys develops system level formal verification and co-design solutions.

French connection
By David Larner, Embedded Systems
September 24, 2001 (7:17 a.m. EST)
URL: http://www.eetimes.com/story/OEG20010924S0024

Two French EDA companies -- TNI and Valiosys. TNI specialises in design tools for real-time embedded systems and Valiosys develops system level formal verification and co-design solutions. The name of the new company will be TNI-Valiosys. The joint company boasts a client list that includes: Texas Instruments, Philips STMicroelectronics, France Telecom, Alcatel, Nortel and Airbus-France. Partnership relations exist with Telelogic, Mentor Graphics, Co-Design Automation, Verisity, France Telecom, IBM, INRA and CRAN.