第44回DACに出展していた、Forte Design Systems社のブースレポート。Forteは、リリースしたばかりの動作合成ツール「Cynthesizer バージョン3.3」を展示。ブース内のデモスイートでは、新バージョンの詳細説明やデモ、顧客設計事例の紹介、「Cynthesizer」…

第44回DACに出展していた、Jasper Design Automation社のブースレポート。Jasperのブースは、展示会場中央入り口の目の前という好立地で、定期的に行われていたフォーマル検証のプレゼン＆デモはかなり盛況。ブースでは、間もなく7月にリリースされる予定の…

第44回DACに出展していた、Calypto Design Systems社のブースレポート。Calyotoのブースでは、従来からの製品シーケンシャル等価性検証ツール「SLEC」と合わせて、今年3月に発表したばかりのPower最適化ツール「PowerPro CG」を展示していた。「PowerPro CG…

プレスリリース：http://synopsys.mediaroom.com/index.php?s=43&item=468（英文）今回の買収について、買収価格や獲得条件などの詳細は一切明らかにされていないが、買収に関する噂はDAC前から囁かれていた。ArchProは、Multi-Voltageデザインの検証をRTLレ…