2010-02-25から1日間の記事一覧

EDA市場は2015年には1兆円規模に成長する-米GIA社のレポート

http://www.eda-express.com/2010/02/eda20151-gia.htmlフリー 〈無料〉からお金を生みだす新戦略作者: クリス・アンダーソン,小林弘人,高橋則明出版社/メーカー: NHK出版発売日: 2009/11/21メディア: ハードカバー購入: 133人 クリック: 3,796回この商品を…

JasperがLPDDR1,LPDDR2,DDR3のフォーマル検証用キットをリリース

http://www.eda-express.com/2010/02/jasperlpddr1lpddr2ddr3.html

アベラント、フォーマル検証ツール「Solidify」をバージョンアップ

http://www.eda-express.com/2010/02/solidify-1.html

2010年2月22日、フォーマル検証ツールを手掛ける独OneSpin Solutionsは、同社のアサーションベース検証ツール「360 MV」とPlatform Computing社の分散処理ソリューションの統合を発表した。

http://www.eda-express.com/2010/02/360-mv.html