PR

　米Synopsys, Inc.は，同社のスタチック・タイミング・アナライザの「Prime Time」とフォーマル・ベリフィア「Formality」を米LSI Logic Corp.がASIC事業でサポートすると発表した。共に，LSI社のASIC設計システムである「Flex Stream」に組み入れるという。リリース文には，LSI社のJeff Vanderlip氏（marketing manager for CAD and Methodology）が，サポート開始の経緯のコメントを寄せている。