Technology AB設計案

與 Prover Technology AB設計案京2008年5月7日 /新華設計美通/ -- 作為一家半導體設計和制造業軟件及 IP 領先公司設計公司–CIS設計– Synopsys 公司（納斯達克代碼：SNPS）與 Prover T平面設計echnology AB 公司今天共包裝設計同宣布，Synopsys 已向 設計Prover 公司進行投資。Prover 設計公司所提供的信號設計自動化解決方案應用於列車、轉品牌設計轍器和信號網頁設計控制的安設計全關鍵性繫統的工設計公司程設計領域。此過程，而無需採用成本高昂且耗時頗長的安全性試驗。擁有世界上最為覆雜的鐵路網之一的巴黎地鐵運營公司的實踐已證明了這是一種價值頗高的解決方案。 “RATP（巴黎大眾運輸公司）和 Prover 自2004年以來一直在密切合作，”RATP 安全負責人 Pierre Chartier 表示：“我們的合作重點放在聯鎖繫統和 CBTC（基於通信的列車控制）繫統的形式化驗證工作。通過運用形式化技術，我們希望在保持盡可能最高的質量水平的同時降低成本。Prover 作為寶貴合作伙伴的價值就體現他們所擁有的在該領