PR

米Calypto Design Systems, Inc.は,米国アナハイムで開催中の42nd Design Automation Conference(DAC 2005)で,順序回路の等価性チェック向けフォーマル・ベリファイア「SLEC」および,SLECと米Mentor Graphics Corp.のC++入力の動作合成ツール「Catapult C Synthesis」との連携フローなどを展示した。

この記事は会員登録で続きをご覧いただけます

日経クロステック登録会員になると…

新着が分かるメールマガジンが届く
キーワード登録、連載フォローが便利

さらに、有料会員に申し込むとすべての記事が読み放題に!
【春割実施中】日経電子版セットで2カ月無料


日経クロステックからのお薦め

日経クロステック 春割 日経電子版セット 2カ月無料