|
Venice, Florida — Synopsys Inc.has announced it has made an investment in Prover Technology AB (Stockholm, Sweden), a supplier of signaling design automation solutions for engineering the safety critical systems that control trains, switches and signals. Financial details on the investment were not disclosed.
Prover Technology said the funds will help accelerate its R&D efforts and expand its operations in Europe, in North America and in Asia. The company has for some years marketed its formal proof technology to EDA companies, and both Esterel Technologies and The Mathworks publicly acknowledge to be their customers.
"Our investment in Prover allows Synopsys to promote the application of technologies traditionally used for designing integrated circuits in different industries." Randy Tinsley, Synopsys' vice president, Strategy and Corporate Development.
"Having Synopsys on board enables us to capitalize on opportunities that were previously out of our reach, and to undertake larger and more complex engineering projects," commented Gunnar Stalmarck, CEO of Prover Technology.
Founded in 1989, Prover Technology has subsidiaries in France and in the United States. Its customers include Alcatel, Airbus, Thales, General Electric, Rockwell, Bombardier, just to name a few examples in addition to those mentioned above.
Synopsys has invested in other niche companies in the past, including HPL Technologies, Inc., a provider of yield optimization solutions for the semiconductor and flat panel display industries, and Tharas Systems, a provider of simulation accelerators.
|
