6月2日-6日テキサス州オースティンで開催された第50回Design Automation Conferenceの展示会レポート。
Calyptoのブースでは、日本から参加したルネサス・エレクトロニクスの今村 慎太郎氏（技術開発本部 プラットフォームインテグレーション統括部 FE設計技術開発部）がユーザーとして、Calyptoの等価性検証ツール「SLEC」の採用事例を発表していた。
Calyptoのブースでは、日本から参加したルネサス・エレクトロニクスの今村 慎太郎氏（技術開発本部 プラットフォームインテグレーション統括部 FE設計技術開発部）がユーザーとして、Calyptoの等価性検証ツール「SLEC」の採用事例を発表していた。