2007年11月16日、ルネサステクノロジは、みなとみらいのホテルで開催された仏EVE社のセミナーにて、携帯電話用SoC「SH-Mobile G3」の開発における、EVE社製エミュレータの活用事例を紹介した。事例を発表したルネサスの服部俊洋氏（ルネサステクノロジ シス…

発表によると今回の技術提携によって、Averantのフォーマル検証ツール「Solidify」がAerieLogicの提供しているプロトコル・チェック用の検証IP「Formal-VIP」をサポート。両社製品のユーザーは、「Formal-VIP」と「Solidify」を用いてより容易かつ効率的に静…