PR

 米Mitsubishi Electronics America Inc.のElectronic Device Groupと米Verplex Systems Inc.(ホームページ)は,同グループがASIC設計環境にVerplex社の等価性検証用フォーマル・ベリファイア「Tuxedo-LEC」を統合していくことになったと発表した。Tuxedo-LEC を採用した大手ASICメーカは,Mitsubishi Electronics社が最初という。リリース文には,Mitsubishi Electronics社のKenji Baba氏(director of system-level IC marketing)がコメントを寄せている。

関連記事

関連用語(EDA用語辞典)