2007年1月30日、シンプリシティは、同社のESLツール「Synplify DSP」の2006年の販売実績が前年の2倍を超えたことを発表した。プレスリリースシンプリシティによると、「Synplify DSP」の販売実績を押し上げたのは、産業部門や軍事／航空宇宙市場での採用の増…

2007年1月30日、カリフォルニア州サンタクララで開催中の「DesginCon2007」にて、「Design Vision Awards」の受賞者が発表された。プレスリリース（英文）「Design Vision Awards」は、毎年、設計関連のコンファレンス「DesginCon」で授与されている権威ある…

EDSF2007に出展していた、サーバーテック社のブースレポート。サイバーテックは、昨年同様、米Jasper Design Automation社のフォーマル検証ツール「JasperGold」を展示。単なる製品の機能説明というよりも、「JasperGold」を用いたフォーマル検証の活用方法…

Averantは、国内販売代理店となっているガイア・システム・ソリューション社のブースで製品を展示。先頃リリースしたばかりの新製品「SolidCheck」を初披露していた。※関連情報：米Averant社、プロパティの記述を必要としない自動フォーマル検証ツール「Soli…