ニュース
DAC 2007 出展
OneSpin Solutions GmbH はサンディエゴ市で開催された (2007年6月)された Design Automation Conference に今年も出展しました。
ブースには150 名以上のお客様にお越し頂き、製品デモや個別ミーティングを行いました。 デモでは、複雑なモジュールやIPに対し、シミュレーション/アサーション ベースの検証アプローチと比較して検証作業を 50% 以上短縮する 360 MV製品およびIPコンポーネントに対する"ワンショット"完全検証アプローチをご紹介しました。
また、ASICおよびFPGA設計ファイルをそのまま検証し、論理合成の最適化によるエラーがないことを保証する等価チェック ソリューションについてもご紹介しました。

