EDSF2008に出展していた、デナリ・ソフトウェアのブースレポート。デナリは今回のEDSF2008に合わせて新製品「FlashPoint」を発表。同社では珍しく日本で先行発表されたこの製品は、従来から提供しているNAND型フラッシュメモリのコントローラIPや専用のミド…

EDSF2008に出展していた、礎デザインオートメーション社の展示レポート。礎DAの製品「FP-Fixer」は、販売代理店である図研ブース（NECシステムテクノロジー社との共同ブース）の一角に展示されていた。昨年、東京都のベンチャー技術大賞の優秀賞を獲得した同…

カリプトは、シーケンシャル等価性検証ツール「SLEC」と合わせて、昨年新製品としてリリースした消費電力最適化ツール「PowerPro」を展示。国内では初となるデモを披露していた。「PowerPro」ファミリ製品の一つとしてリリースされている「PowerPro CG」は、…

「360 Module Verifier」は、トランザクションレベルのプロパティと独自記述のアサーションによってRTLを静的に機能検証するツールで、InfineonおよびSiemensのエンジニア達によっ開発された製品。ヨーロッパで複数の大手企業に導入されている実績があり、昨…